R. Alur, Formal verification of hybrid systems, Proceedings of the ninth ACM international conference on Embedded software, EMSOFT '11, pp.273-278, 2011.
DOI : 10.1145/2038642.2038685
URL : http://www.cis.upenn.edu/~alur/EmsoftSurvey11.pdf

R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

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

G. Behrmann, A. Cougnard, A. David, E. Fleury, K. G. Larsen et al., UPPAAL-Tiga: Time for Playing Games!, Proceedings of the 19th International Conference on Computer Aided Verification, number 4590 in LNCS, pp.121-125, 2007.
DOI : 10.1007/978-3-540-73368-3_14
URL : https://hal.archives-ouvertes.fr/hal-00350466

P. Bouyer, L. Bozzelli, and F. Chevalier, Controller Synthesis for MTL Specifications, Proc. 17th International Conference on Concurrency Theory (CONCUR'06, 2006.
DOI : 10.1007/11817949_30
URL : http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BBC-concur06.pdf

T. Brihaye, M. Estiévenart, and G. Geeraerts, On MITL and Alternating Timed Automata over Infinite Words, Formal Modeling and Analysis of Timed Systems, pp.69-84, 2014.
DOI : 10.1007/978-3-319-10512-3_6
URL : http://www.cassting-project.eu/wp-content/uploads/BEG-formats14.pdf

J. R. Buchi and L. H. Landweber, Solving Sequential Conditions by Finite-State Strategies. Transactions of the, pp.295-311, 1969.
DOI : 10.2307/1994916

P. Bulychev, A. David, K. G. Larsen, A. Legay, G. Li et al., Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic, LPAR, 2012.
DOI : 10.1007/978-3-642-28717-6_15
URL : https://hal.archives-ouvertes.fr/hal-00744100

P. Bulychev, A. David, K. G. Larsen, and G. Li, Efficient controller synthesis for a fragment of MTL0, Acta Informatica, vol.51, pp.3-4165, 2014.

A. Church, Logic, Arithmetic, Automata, Proc. International Mathematical Congress, 1962.

L. Doyen, G. Geeraerts, J. Raskin, and J. Reicher, Realizability of Real-Time Logics, Proceedings of FORMATS 2009, 7th International Conference on Formal Modeling and Analysis of Timed Systems, pp.133-148, 2009.
DOI : 10.1007/3-540-59042-0_76
URL : http://mtc.epfl.ch/%7Edoyen/papers/Realizability_Real-Time_Logics.pdf

L. Doyen, G. Geeraerts, J. Raskin, and J. Reichert, Realizability of Real-Time Logics, Formal Modeling and Analysis of Timed Systems, pp.133-148, 2009.
DOI : 10.1007/3-540-59042-0_76
URL : http://mtc.epfl.ch/%7Edoyen/papers/Realizability_Real-Time_Logics.pdf

E. A. Emerson and E. M. Clarke, Using branching time temporal logic to synthesize synchronization skeletons, Science of Computer Programming, vol.2, issue.3, pp.241-266, 1982.
DOI : 10.1016/0167-6423(83)90017-5
URL : https://doi.org/10.1016/0167-6423(83)90017-5

M. Geilen, An Improved On-the-Fly Tableau Construction for a Real-Time Temporal Logic, International Conference on Computer Aided Verification, pp.276-290, 2003.
DOI : 10.1007/978-3-540-45069-6_37

D. Giannakopoulou and F. Lerda, From States to Transitions: Improving Translation of LTL Formulae to B??chi Automata, Formal Techniques for Networked and Distributed Sytems?FORTE 2002, pp.308-326, 2002.
DOI : 10.1007/3-540-36135-9_20

O. Kupferman, N. Piterman, and M. Vardi, Safraless Compositional Synthesis, 18th Conference on Computer Aided Verification, pp.31-44, 2006.
DOI : 10.1007/11817963_6
URL : http://www.doc.ic.ac.uk/~npiterma/publications/2006/KPV06.pdf

O. Kupferman and M. Y. Vardi, µ-calculus synthesis, MFCS, pp.497-507, 2000.

O. Maler, D. Nickovic, and A. Pnueli, From MITL to Timed Automata, FORMATS'06, pp.274-289, 2006.
DOI : 10.1007/11867340_20
URL : http://www-verimag.imag.fr/~maler/Papers/mitl.pdf

O. Maler, D. Nickovic, and A. Pnueli, On Synthesizing Controllers from Bounded-Response Properties, CAV, pp.95-107, 2007.
DOI : 10.1007/978-3-540-73368-3_12
URL : http://www-verimag.imag.fr/~maler/Papers/mtlsynth.pdf

O. Maler, A. Pnueli, and J. Sifakis, On the synthesis of discrete controllers for timed systems (an extended abstract), STACS, pp.229-242, 1995.

Z. Manna and P. Wolper, Synthesis of Communicating Processes from Temporal Logic Specifications, ACM Transactions on Programming Languages and Systems, vol.6, issue.1, pp.68-93, 1984.
DOI : 10.1145/357233.357237

A. Morgenstern, K. Schneider, and S. Lamberti, Generating deterministic ?-automata for most ltl formulas by the breakpoint construction, MBMV, pp.119-128, 2008.

A. Pnueli and R. Rosner, On the synthesis of a reactive module, Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '89, pp.179-190, 1989.
DOI : 10.1145/75277.75293

P. Ramadge and W. Wonham, Supervisory Control of a Class of Discrete Event Processes, SIAM Journal on Control and Optimization, vol.25, issue.1, pp.206-230, 1987.
DOI : 10.1137/0325013