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://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.299.2839

J. Karl, R. M. Åström, and . Murray, Feedback Systems: An Introduction for Scientists and Engineers, 2008.

A. Benveniste, T. Bourke, B. Caillaud, B. Pagano, and M. Pouzet, A Type-based Analysis of Causality Loops in Hybrid Systems Modelers, Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (HSCC), pp.71-82, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00938866

A. Benveniste, T. Bourke, B. Caillaud, and M. Pouzet, A hybrid synchronous language with hierarchical automata, Proceedings of the ninth ACM international conference on Embedded software, EMSOFT '11, pp.137-147, 2011.
DOI : 10.1145/2038642.2038664
URL : https://hal.archives-ouvertes.fr/hal-00654113

A. Benveniste, T. Bourke, B. Caillaud, and M. Pouzet, Divide and recycle: types and compilation for a hybrid synchronous language, Proceedings of the ACM SIGPLAN/SIGBED Conference on Languages, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00654112

A. Benveniste, T. Bourke, B. Caillaud, and M. Pouzet, Non-standard semantics of hybrid systems modelers, Journal of Computer and System Sciences, vol.78, issue.3, pp.877-910, 2012.
DOI : 10.1016/j.jcss.2011.08.009
URL : https://hal.archives-ouvertes.fr/hal-00766726

A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. L. Guernic et al., The synchronous languages 12 years later, Proc. IEEE 91, pp.64-83, 2003.
DOI : 10.1109/JPROC.2002.805826
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.71.6645

G. Berry, Real time programming: Special purpose or general purpose languages, Information Processing, vol.89, pp.11-17, 1989.
URL : https://hal.archives-ouvertes.fr/inria-00075494

O. Bouissou and A. Chapoutot, An operational semantics for Simulink's simulation engine, Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems, LCTES '12, pp.129-138, 2012.
DOI : 10.1145/2248418.2248437

T. Bourke, J. Colaço, B. Pagano, C. Pasteur, and M. Pouzet, A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages, Proceedings of the 24th International Conference on Compiler Construction (CC) (Lecture Notes in Computer Science, pp.69-88, 2015.
DOI : 10.1007/978-3-662-46663-6_4
URL : https://hal.archives-ouvertes.fr/hal-01242732

T. Bourke and M. Pouzet, Zélus, a Synchronous Language with ODEs, Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control (HSCC), pp.113-118, 2013.

L. Carloni, M. D. Benedetto, A. Pinto, and A. Sangiovanni-vincentelli, Modeling Techniques, Programming Languages, Design Toolsets and Interchange Formats for Hybrid Systems, 2004.

J. Colaço and M. Pouzet, Type-based Initialization Analysis of a Synchronous Data-flow Language, Electronic Notes in Theoretical Computer Science, vol.65, issue.5, pp.245-255, 2004.
DOI : 10.1016/S1571-0661(05)80441-4

M. Dowell and P. Jarratt, A modified regula falsi method for computing the root of an equation, BIT, vol.11, issue.2, pp.168-174, 1972.
DOI : 10.1007/BF01934364

E. Technologies and S. , Gateway Guidelines for Simulink, Esterel Technologies SAS

J. T. Feo, D. C. Cann, and R. R. Oldehoeft, A report on the sisal language project, Journal of Parallel and Distributed Computing, vol.10, issue.4, pp.10-349, 1990.
DOI : 10.1016/0743-7315(90)90035-N

L. Gérard, A. Guatto, C. Pasteur, and M. Pouzet, A Modular Memory Optimization for Synchronous Data-Flow Languages. Application to Arrays in a Lustre Compiler, Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers and Tools for Embedded Systems (LCTES). ACM, pp.51-60, 2012.

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, vol.79, issue.9, pp.1305-1320, 1991.
DOI : 10.1109/5.97300
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.5059

G. Hamon, A denotational semantics for stateflow, Proceedings of the 5th ACM international conference on Embedded software , EMSOFT '05, pp.164-172, 2005.
DOI : 10.1145/1086228.1086260

G. Hamon and J. Rushby, An Operational Semantics for Stateflow, Proceedings of the 7th International Conference on Fundamental Approaches to Software Engineering (FASE), pp.229-243, 2004.
DOI : 10.1007/978-3-540-24721-0_17
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.11.1234

C. Alan, R. Hindmarsh, and . Serban, User Documentation for cvode v2, 2016.

A. Edward, H. Lee, and . Zheng, Operational Semantics of Hybrid Systems, Proceedings of the 8th International Conference on Hybrid Systems: Computation and Control (HSCC), pp.25-53, 2005.

O. Maler, Z. Manna, and A. Pnueli, Prom timed to hybrid systems, Proceedings of the REX Workshop Real-Time: Theory in Practice, pp.447-484, 1992.
DOI : 10.1007/BFb0032003

L. Morel, Array Iterators in Lustre: From a Language Extension to Its Exploitation in Validation, EURASIP Journal on Embedded Systems, vol.1, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00292876

J. Muller, N. Brisebarre, C. Florent-de-dinechin, V. Jeannerod, G. Lefèvre et al., Handbook of Floating-Point Arithmetic, Nathalie Revol Birkhäuser, 2010.
DOI : 10.1007/978-0-8176-4705-6
URL : https://hal.archives-ouvertes.fr/ensl-00379167

B. C. Pierce, Types and Programming Languages, 2002.

K. Suenaga, H. Sekine, and I. Hasuo, Hyperstream Processing Systems: Nonstandard Modeling of Continuous-time Signals, Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pp.417-430, 2013.
DOI : 10.1145/2429069.2429120

S. Tripakis, C. Sofronis, P. Caspi, and A. Curic, Translating discrete-time simulink to lustre, ACM Transactions on Embedded Computing Systems, vol.4, issue.4, pp.779-818, 2005.
DOI : 10.1145/1113830.1113834
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.7832

S. Tripakis, C. Stergiou, C. Shaver, and E. A. Lee, A modular formal semantics for Ptolemy, Mathematical Structures in Computer Science, vol.218, issue.04, pp.834-881, 2013.
DOI : 10.1016/0304-3975(94)00202-T