Bouyer, P., Fang, E. and Markey, N. (2015) “Permissive strategies in timed automata and games”, Electronic Communications of the EASST, 72. doi: 10.14279/tuj.eceasst.72.1015.