L. Carloni, R. Passerone, A. Pinto, and A. , Sangiovanni-Vincentelli, Languages and tools for hybrid systems design, Foundations & Trends in EDA, vol.1
DOI : 10.1561/1000000001
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.219.5027

E. A. Lee and H. Zheng, Operational Semantics of Hybrid Systems, Hybrid Systems: Computation and Control (HSCC), pp.25-53, 2005.
DOI : 10.1007/978-3-540-31954-2_2
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.83.2110

T. Mathworks, M. Natick, and U. S. , Simulink 7?User's Guide, 2010.

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

N. Halbwachs, P. Raymond, and C. , Generating efficient code from data-flow programs, 3rd International Symposium on Programming Language Implementation and Logic Programming (PLILP), pp.207-218, 1991.
DOI : 10.1007/3-540-54444-5_100
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.6974

T. Amagbegnon, L. Besnard, and P. L. Guernic, Implementation of the data-flow synchronous language Signal, Programming Languages Design and Implementation (PLDI), pp.163-173, 1995.
URL : https://hal.archives-ouvertes.fr/hal-00544128

G. Berry, The constructive semantics of pure Esterel, unpublished, 1999.

L. Gérard, A. Guatto, C. Pasteur, and M. Pouzet, A modular memory optimization for synchronous data-flow languages, Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems, LCTES '12, pp.51-60
DOI : 10.1145/2248418.2248426

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

O. Maler, Z. Manna, and A. Pnueli, From Timed to Hybrid Systems, in: Real-Time: Theory in Practice, LNCS, vol.600, pp.447-484, 1992.

T. Mathworks, M. Natick, and U. S. , Simulink 7?Reference, 2010.

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

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

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

T. Bourke, J. Colaço, B. Pagano, C. Pasteur, and M. Pouzet, A Synchronousbased Code Generator For Explicit Hybrid Systems Languages, Compiler Construction (CC), pp.69-88, 2015.
DOI : 10.1007/978-3-662-46663-6_4
URL : https://hal.archives-ouvertes.fr/hal-01242732

G. Kahn, The semantics of a simple language for parallel programming, IFIP 74 Congress, pp.471-475, 1974.

A. Benveniste, P. Caspi, R. Lublinerman, and S. Tripakis, Actors without directors: a Kahnian view of heterogeneous systems, 2008.

M. Pouzet, Lucid Synchrone, version 3. Tutorial and reference manual, 2006.

F. Pottier, Simplifying Subtyping Constraints: A Theory, Information and Computation, vol.170, issue.2, pp.153-183, 2001.
DOI : 10.1006/inco.2001.2963
URL : http://doi.org/10.1006/inco.2001.2963

M. Pouzet and P. Raymond, Modular static scheduling of synchronous data-flow networks: An efficient symbolic representation, Embedded Software (EMSOFT), pp.215-224, 2009.

E. Palmgren, Constructive nonstandard representations of generalized functions, Indagationes Mathematicae, vol.11, issue.1, pp.129-138, 2000.
DOI : 10.1016/S0019-3577(00)88579-1
URL : http://doi.org/10.1016/s0019-3577(00)88579-1

T. Lindstrom, An invitation to nonstandard analysis Nonstandard Analysis and its Applications, no, pp.1-105, 1988.

E. A. Lee and H. Zheng, Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems, Proceedings of the 7th ACM & IEEE international conference on Embedded software , EMSOFT '07, pp.114-123, 2007.
DOI : 10.1145/1289927.1289949

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