R. Alur, Formal verification of hybrid systems, International Conference on Embedded Software (EMSOFT), pp.273-278, 2011.

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

G. Baudart, A Synchronous Approach to Quasi-Periodic Systems, 2017.
URL : https://hal.archives-ouvertes.fr/tel-01507595

K. Bauer and K. Schneider, From synchronous programs to symbolic representations of hybrid systems, International Conference on Hybrid Systems: Computation and Control (HSCC), pp.41-50, 2010.

G. Behrmann, A. David, K. G. Larsen, J. Håkansson, P. Pettersson et al., Uppaal 4.0, International Conference on the Quantitative Evaluation of Systems (QEST), pp.125-126, 2006.

J. Bengtsson, Clocks, DBMs and states in timed systems, 2002.

A. Benveniste, T. Bourke, B. Caillaud, and M. Pouzet, Divide and recycle: types and compilation for a hybrid synchronous language, Conference on Languages, Compilers, and tools for embedded systems (LCTES), pp.61-70, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00654112

A. Benveniste, T. Bourke, B. Caillaud, and M. Pouzet, A hybrid synchronous language with hierarchical automata: Static typing and translation to synchronous code, International Conference on Embedded Software (EMSOFT), 2011.
URL : https://hal.archives-ouvertes.fr/hal-00654113

B. Berthomieu and M. Menasche, An enumerative approach for analyzing Time Petri Nets, World Computer Congress (IFIP), pp.41-46, 1983.

V. Bertin, E. Closse, M. Poize, J. Pulou, J. Sifakis et al., Taxys = Esterel + Kronos: A tool for verifying real-time properties of embedded systems, CDC, pp.2875-2880, 2001.

T. Bourke and M. Pouzet, Zélus: A synchronous language with ODEs, International Conference on Hybrid Systems: Computation and Control (HSCC), pp.113-118, 2013.

P. Caspi, The quasi-synchronous approach to distributed control systems, 2000.

P. Caspi, D. Pilaud, N. Halbwachs, and J. Plaice, Lustre: A declarative language for programming synchronous systems, Symposium on Principles of Programming Languages (POPL), pp.178-188, 1987.

F. Cassez and K. G. Larsen, The impressive power of stopwatches, International Conference on Concurrency Theory (CONCUR), pp.138-152, 2000.

A. Champion, A. Mebsout, C. Sticksel, and C. Tinelli, The Kind 2 model checker, International Conference on Computer Aided Verification (CAV), pp.510-517, 2016.

D. L. Dill, Timing assumptions and verification of finite-state concurrent systems, International Workshop on Automatic verification methods for finite state systems (AVMFSS), pp.197-212, 1990.

D. Garriou, Symbolic simulation of synchronous programs, Elecronic Notes in Theoretical Computer Science, vol.65, issue.5, pp.11-18, 2002.

N. Halbwachs, Delay analysis in synchronous programs, International Conference on Computer Aided Verification (CAV), pp.333-346, 1993.

T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, Symbolic model checking for real-time systems, Information and Computation, vol.111, issue.2, pp.192-244, 1994.

T. Isenberg and H. Wehrheim, Timed automata verification via IC3 with zones, International Conference on Formal Methods and Software Engineering (ICFEM), vol.8829, pp.203-218, 2014.

G. Baudart, T. Bourke, and M. Pouzet,

M. Jourdan, F. Maraninchi, and A. Olivero, Verifying quantitative real-time properties of synchronous programs, International Conference on Computer Aided Verification (CAV), 1993.

R. Kindermann, T. Junttila, and I. Niemelä, SMT-based induction methods for timed systems, International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), vol.7595, pp.171-187, 2012.

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

G. Logothetis and K. Schneider, Extending synchronous languages for generating abstract real-time models, Design, Automation, and Test in Europe (DATE), 2002.

C. Mauras, Symbolic simulation of interpreted automata, International Workshop on Synchronous Programming (SYNCHRON), 1996.

A. Miné, The octagon abstract domain. Higher-Order and Symbolic Computation, vol.19, pp.31-100, 2006.

G. Morbé, F. Pigorsch, and C. Scholl, Fully symbolic model checking for timed automata, International Conference on Computer Aided Verification (CAV), vol.6806, pp.616-632, 2011.

P. Raymond, Y. Roux, and E. Jahier, Lutin: A language for specifying and executing reactive scenarios, EURASIP Journal of Embedded Systems, 2008.

P. Raymond, Y. Roux, and E. Jahier, Specifying and executing reactive scenarios with Lutin, Elecronic Notes in Theoretical Computer Science, vol.203, issue.4, pp.19-34, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00389799

F. W. Vaandrager and A. L. De-groot, Analysis of a biphase mark protocol with Uppaal and PVS, Formal Aspects of Computing, vol.18, issue.4, pp.433-458, 2006.

F. Wang, Efficient verification of timed automata with BDD-like data structures, International Journal on Software Tools for Technology Transfer, vol.6, pp.77-97, 2004.

S. Yovine, Kronos: A verification tool for real-time systems, International Journal on Software Tools for Technology Transfer, vol.1, issue.1, pp.123-133, 1997.