P. Caspi, D. Pilaud, N. Halbwachs, and J. Plaice, Lustre: A declarative language for programming synchronous systems, POPL, pp.178-188, 1987.
DOI : 10.1145/41625.41641

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

URL : https://doi.org/10.1016/0304-3975(94)90010-8

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.
DOI : 10.1006/inco.1994.1045

URL : https://doi.org/10.1006/inco.1994.1045

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.
DOI : 10.1007/s100090050010

G. Behrmann, A. David, K. G. Larsen, J. Håkansson, P. Pettersson et al., Uppaal 4.0, " in QEST, pp.125-126, 2006.

P. Caspi, About the Design of Distributed Control Systems: The Quasi-Synchronous Approach, 2000.
DOI : 10.1007/3-540-45416-0_21

F. Vaandrager and A. De-groot, Analysis of a biphase mark protocol with Uppaal and PVS, Formal Aspects of Computing, vol.21, issue.2, pp.433-458, 2006.
DOI : 10.1007/s00165-006-0008-1

T. Bourke, M. Pouzet, and H. Usa, Z??lus, Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC '13, pp.113-118, 2013.
DOI : 10.1145/2461328.2461348

D. L. Dill, Timing assumptions and verification of finite-state concurrent systems, pp.197-212, 1990.
DOI : 10.1007/3-540-52148-8_17

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, LCTES, USA, pp.61-70, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00654112

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

P. Raymond, Y. Roux, and E. Jahier, Lutin: A Language for Specifying and Executing Reactive Scenarios, EURASIP Journal on Embedded Systems, vol.9, issue.1, 2008.
DOI : 10.1007/s10009-006-0023-9

URL : https://doi.org/10.1155/2008/753821

C. Mauras, Symbolic simulation of interpreted automata, SYN- CHRON, 1996.

D. Garriou, Symbolic simulation of synchronous programs, Electronic Notes in Theoretical Computer Science, vol.65, issue.5, pp.11-18, 2002.
DOI : 10.1016/S1571-0661(05)80436-0

URL : https://doi.org/10.1016/s1571-0661(05)80436-0

M. Jourdan, F. Maraninchi, and A. Olivero, Verifying quantitative realtime properties of synchronous programs, CAV, Greece, 1993.
DOI : 10.1007/3-540-56922-7_29

URL : http://arpont.imag.fr//PEOPLE/Florence.Maraninchi/ArgosCAV93.ps.gz

S. Yovine, KRONOS: a??verification tool for real-time systems, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.123-133, 1997.
DOI : 10.1007/s100090050009

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, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228), pp.2875-2880, 2001.
DOI : 10.1109/CDC.2001.980712

G. Logothetis and K. Schneider, Extending synchronous languages for generating abstract real-time models, Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition, 2002.
DOI : 10.1109/DATE.2002.998390

URL : http://www.cecs.uci.edu/~papers/compendium94-03/papers/2002/date02/pdffiles/08b_3.pdf

K. Bauer and K. Schneider, From synchronous programs to symbolic representations of hybrid systems, Proceedings of the 13th ACM international conference on Hybrid systems: computation and control, HSCC '10, pp.41-50, 2010.
DOI : 10.1145/1755952.1755960

N. Halbwachs, Delay analysis in synchronous programs, CAV, Greece, pp.333-346, 1993.
DOI : 10.1007/3-540-56922-7_28

URL : ftp://ftp.imag.fr/imag/labo-VERIMAG/LUSTRE/PAPERS/linearverif.ps.gz

G. Baudart, A synchronous approach to quasi-periodic systems, 2017.
URL : https://hal.archives-ouvertes.fr/tel-01545630

G. Hagen, C. Tinelli, and F. Usa, Scaling Up the Formal Verification of Lustre Programs with SMT-Based Techniques, 2008 Formal Methods in Computer-Aided Design, pp.109-117, 2008.
DOI : 10.1109/FMCAD.2008.ECP.19

T. Isenberg and H. Wehrheim, Timed Automata Verification via IC3 with Zones, ICFEM, ser. LNCS, pp.203-218, 2014.
DOI : 10.1007/978-3-319-11737-9_14