Bouyer, P.; Cassez, F.; Fleury, E.; Larsen, K. G. Optimal Strategies in Priced Timed Game Automata. BRICS 2004, 11.