Bouyer, P. (2004) “Optimal Strategies in Priced Timed Game Automata”, BRICS Report Series, 11(4). doi: 10.7146/brics.v11i4.21829.