P. Bouyer, F. Cassez, E. Fleury, og K. G. Larsen, “Optimal Strategies in Priced Timed Game Automata”, BRICS, bd. 11, nr. 4, feb. 2004.