R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, 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.

A. Bohy, V. Bruyère, E. Filiot, N. Jin, and J. Raskin, Acacia+, a tool for LTL synthesis, CAV 2012), number 7358 in Lecture Notes in Computer Science, pp.652-657, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01196263

T. Brihaye, M. Estiévenart, and G. Geeraerts, On MITL and alternating timed automata of infinite words, Proceedings of the 12th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2014), vol.8711, pp.69-84, 2014.

T. Brihaye, M. Estiévenart, G. Geeraerts, H. Ho, B. Monmege et al., Realtime synthesis is hard! In Formal Modeling and Analysis of Timed Systems, 14th International Conference, vol.9884, pp.105-120, 2016.

T. Brihaye, G. Geeraerts, H. Ho, and B. Monmege, MightyL: A compositional translation from MITL to timed automata, Proceedings of the 29th International Conference on Computer Aided Verification, Part I (CAV 2017, vol.10426, pp.421-440, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01525524

T. Brihaye, G. Geeraerts, H. Ho, and B. Monmege, Timed-automata-based verification of MITL over signals, Proceedings of the 24th International Symposium on Temporal Representation and Reasoning (TIME'17), volume 90 of LIPIcs, vol.7, pp.1-7, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01526986

A. Cimatti, E. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore et al., NuSMV2: An opensource tool for symbolic model checking, Proceedings of the 14th International Conference on Computer Aided Verification (CAV 2002, vol.2404, pp.359-364, 2002.

L. Doyen, G. Geeraerts, J. Raskin, and J. Reichert, Realizability of real-time logics, Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2009), vol.5813, pp.133-148, 2009.

D. Deepak, P. Souza, and . Madhusudan, Timed control synthesis for external specifications, Proceedings of the 19th Annual conference on Theoretical Aspects of Computer Science (STACS 2002, vol.2285, pp.571-582, 2002.

E. Filiot, N. Jin, and J. Raskin, An antichain algorithm for LTL realizability, Proceedings of the 21st Internationl Conference on Computer Aided Verification, vol.5643, pp.263-277, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00489952

P. Gastin and D. Oddoux, Fast LTL to Büchi automata translation, Proceedings of the 13th Internationl Conference on Computer Aided Verification, vol.2102, pp.53-65, 2001.

G. Kant, A. Laarman, J. Meijer, J. Van-de-pol, S. Blom et al., LTSmin: High-performance language-independent model checking, Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015), vol.9035, pp.692-707, 2015.

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

K. G. Larsen, P. Pettersson, and W. Yi, Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997.

O. Maler, D. Nickovic, and A. Pnueli, From MITL to timed automata, Proceedings of the 4th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2006), vol.4202, pp.274-289, 2006.

J. Ouaknine and J. Worrell, On the decidability of metric temporal logic, Proceedings of the 20th Annual Symposium on Logic in Computer Science (LICS'05), pp.188-197, 2005.

A. Pnueli, The temporal logic of programs, Proceedings of the 18th Annual Symposium on Foundations of Computer Science (FOCS 1977), pp.46-57, 1977.