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