P. Bouyer, E. Fang, and N. Markey, “Permissive strategies in timed automata and games”, eceasst, vol. 72, Nov. 2015.