Bouyer, Patricia, Franck Cassez, Emmanuel Fleury, and Kim G. Larsen. 2004. “Optimal Strategies in Priced Timed Game Automata”. BRICS Report Series 11 (4). https://doi.org/10.7146/brics.v11i4.21829.