Bouyer, P., Cassez, F., Fleury, E. and Larsen, K. G. (2004) “Optimal Strategies in Priced Timed Game Automata”, BRICS Report Series, 11(4). doi: 10.7146/brics.v11i4.21829.