R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.

G. Bacci, P. Bouyer, U. Fahrenberg, K. G. Larsen, N. Markey et al., Optimal and robust controller synthesis using energy timed automata with uncertainty, Proceedings of the 22nd International Symposium on Formal Methods (FM'18), pp.203-221, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01889222

J. Bengtsson and W. Yi, Timed Automata: Semantics, Algorithms and Tools, Lecture Notes in Computer Science, vol.3098, pp.87-124, 2004.

B. Berthomieu and M. Menasche, An enumerative approach for analyzing time Petri nets, Information Processing 83 -Proceedings of the 9th IFIP World Computer Congress (WCC'83), pp.41-46, 1983.

F. Cassez, A. David, E. Fleury, K. G. Larsen, and D. Lime, Efficient on-the-fly algorithms for the analysis of timed games, CONCUR 2005, vol.3653, pp.66-80, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00350475

F. Cassez, T. A. Henzinger, and J. Raskin, A comparison of control problems for timed and hybrid systems

. Greenstreet, Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control (HSCC'02), vol.2289, pp.134-148, 2002.

K. Chatterjee, T. A. Henzinger, and V. S. Prabhu, Timed parity games: Complexity and robustness, Logical Methods in Computer Science, vol.7, issue.4, 2011.

-. Hubert-comon, Y. Lundh, and . Jurski, Timed automata and the theory of real numbers, Proceedings of CONCUR'99, vol.1664, pp.242-257, 1999.

A. Ariano, M. Pranzo, and I. A. Hansen, Conflict resolution and train speed coordination for solving real-time timetable perturbations, IEEE Transactions on Intelligent Transportation Systems, vol.8, issue.2, pp.208-222, 2007.

D. L. Dill, Timing assumptions and verification of finite-state concurrent systems, Automatic Verification Methods for Finite State Systems (CAV 1989, vol.407, pp.197-212, 1990.

T. A. Henzinger, J. Otop, and R. Samanta, Lipschitz robustness of timed i/o systems, Verification, Model Checking, and Abstract Interpretation, pp.250-267, 2016.

A. Thomas, J. Henzinger, and . Sifakis, The embedded systems design challenge, FM 2006, vol.4085, pp.1-15, 2006.

F. Herbreteau and B. Srivathsan, Efficient on-the-fly emptiness check for timed büchi automata, ATVA 2010, vol.6252, pp.218-232, 2010.

F. Herbreteau, B. Srivathsan, T. Tran, and I. Walukiewicz, Why liveness for timed automata is hard, and what we can do about it, 14. Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, vol.65, pp.1-48, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01423714

F. Herbreteau, B. Srivathsan, and I. Walukiewicz, Efficient emptiness check for timed büchi automata. Formal Methods in System Design, vol.40, pp.122-146, 2012.

R. Jaubert and P. Reynier, Quantitative robustness analysis of flat timed automata, Proceedings of the 14th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'11), vol.6604, pp.229-244, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00534896

A. Laarman, M. Chr, A. E. Olesen, K. G. Dalsgaard, J. Larsen et al., Multi-core emptiness checking of timed büchi automata using inclusion abstraction, CAV 2013, vol.8044, pp.968-983, 2013.

G. Kim, A. Larsen, L. Legay, A. Traonouez, and . Wasowski, Robust synthesis for real-time systems, Theor. Comput. Sci, vol.515, pp.96-122, 2014.

G. Li, Checking timed büchi automata emptiness using lu-abstractions, FORMATS 2009, vol.5813, pp.228-242, 2009.

P. Prabhakar and M. G. Soto, Formal synthesis of stabilizing controllers for switched systems, Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, HSCC '17, pp.111-120, 2017.

P. Prabhakar and M. G. Soto, Counterexample guided abstraction refinement for stability analysis, Computer Aided Verification -28th International Conference, CAV 2016, pp.495-512, 2016.

K. Quaas, M. Shirmohammadi, and J. Worrell, Revisiting reachability in timed automata, LICS'17, 2017.

N. Roohi, P. Prabhakar, and M. Viswanathan, Robust model checking of timed automata under clock drifts, Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, HSCC '17, pp.153-162, 2017.

O. Sankur, P. Bouyer, and N. Markey, Shrinking Timed Automata, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011, vol.13, pp.90-102, 2011.

O. Sankur, P. Bouyer, N. Markey, and P. Reynier, Robust controller synthesis in timed automata, Proceedings of the 24th International Conference on Concurrency Theory (CONCUR'13), vol.8052, pp.546-560, 2013.
URL : https://hal.archives-ouvertes.fr/hal-02264083

T. Tran, Verification of timed automata : reachability, liveness and modelling. (Vérification d'automates temporisés : sûreté, vivacité et modélisation), 2016.
URL : https://hal.archives-ouvertes.fr/tel-01457094

S. Tripakis, Checking timed büchi automata emptiness on simulation graphs, ACM Trans. Comput. Log, vol.10, issue.3, 2009.

S. Tripakis, S. Yovine, and A. Bouajjani, Checking timed büchi automata emptiness efficiently, Formal Methods in System Design, vol.26, issue.3, pp.267-292, 2005.