Text this: DECIDABILITY OF ONE-CLOCK WEIGHTED TIMED GAMES WITH ARBITRARY WEIGHTS.