Bouyer, P.; Fang, E.; Markey, N. Permissive Strategies in Timed Automata and Games. eceasst 2015, 72.