P. Bouyer, F. Cassez, E. Fleury, and K. G. Larsen, “Optimal Strategies in Priced Timed Game Automata”, BRICS, vol. 11, no. 4, Feb. 2004.