R. Alur and D. L. Dill, A theory of timed automata, pp.183-235, 1994.

R. Alur, T. Feder, and T. A. Henzinger, The benefits of relaxing punctuality, Journal of the ACM, vol.43, issue.1, pp.116-146, 1996.
DOI : 10.1145/227595.227602

A. Bohy, V. Bruyère, E. Filiot, N. Jin, and J. Raskin, Acacia+, a Tool for LTL Synthesis, CAV'12
DOI : 10.1007/978-3-642-31424-7_45
URL : https://hal.archives-ouvertes.fr/hal-01196263

P. Bouyer, L. Bozzelli, and F. Chevalier, Controller Synthesis for MTL Specifications, CONCUR'06
DOI : 10.1007/11817949_30

P. Bouyer, N. Markey, J. Ouaknine, and J. Worrell, The Cost of Punctuality, 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), pp.109-120
DOI : 10.1109/LICS.2007.49
URL : https://hal.archives-ouvertes.fr/hal-01194604

D. Brand and P. Zafiropulo, On Communicating Finite-State Machines, Journal of the ACM, vol.30, issue.2, pp.323-342, 1983.
DOI : 10.1145/322374.322380

T. Brihaye, M. Estiévenart, and G. Geeraerts, On MITL and Alternating Timed Automata, FORMATS'13
DOI : 10.1007/978-3-642-40229-6_4

T. Brihaye, M. Estiévenart, G. Geeraerts, H. Ho, B. Monmege et al., Real-time Synthesis is Hard! (full version), 2016.

P. E. Bulychev, A. David, K. G. Larsen, and G. Li, Efficient controller synthesis for a fragment of MTL 0,? . Acta Inf, pp.3-4165, 2014.

F. Cassez, A. David, E. Fleury, K. G. Larsen, and D. Lime, Efficient On-the-Fly Algorithms for the Analysis of Timed Games, CONCUR'05
DOI : 10.1007/11539452_9
URL : https://hal.archives-ouvertes.fr/hal-00350475

L. De-alfaro, M. Faella, T. A. Henzinger, R. Majumdar, and M. Stoelinga, The Element of Surprise in Timed Games, CONCUR'03
DOI : 10.1007/978-3-540-45187-7_9

L. Doyen, G. Geeraerts, J. Raskin, and J. Reichert, Realizability of Real-Time Logics, FORMATS'09
DOI : 10.1007/3-540-59042-0_76

D. D. Souza and P. Madhusudan, Timed control synthesis for external specifications, STACS'02

M. Estiévenart, Verification and synthesis of MITL through alternating timed automata, 2015.

E. Filiot, N. Jin, and J. Raskin, An Antichain Algorithm for LTL Realizability, CAV'09
DOI : 10.1007/978-3-642-02658-4_22
URL : https://hal.archives-ouvertes.fr/inria-00489952

R. Koymans, Specifying real-time properties with metric temporal logic. Real-Time Systems, pp.255-299, 1990.

J. Ouaknine and J. Worrell, Universality and Language Inclusion for Open and Closed Timed Automata, HSCC'03
DOI : 10.1007/3-540-36580-X_28

J. Ouaknine and J. Worrell, Safety Metric Temporal Logic Is Fully Decidable, TACAS'06
DOI : 10.1007/3-540-58468-4_191

J. Ouaknine and J. Worrell, On the decidability and complexity of Metric Temporal Logic over finite words, Logical Methods in Computer Science, vol.3, issue.1, 2007.
DOI : 10.2168/LMCS-3(1:8)2007

A. Pnueli and R. Rosner, On the synthesis of an asynchronous reactive module, ICALP'89
DOI : 10.1007/BFb0035790

J. Raskin, Logics, automata and classical theories for deciding real time, 1999.