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

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

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

A. Benveniste, T. Bourke, B. Caillaud, and M. Pouzet, Divide and recycle: types and compilation for a hybrid synchronous language, ACM SIG- PLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES'11), 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

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

T. Bourke and M. Pouzet, Zélus, a Synchronous Language with ODEs, International Conference on Hybrid Systems: Computation and Control, 2013.

L. P. Carloni, R. Passerone, A. Pinto, and A. L. Sangiovanni-vincentelli, Languages and tools for hybrid systems design. Foundations & Trends in Electronic Design Automation
DOI : 10.1561/1000000001

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

G. Dahlquist and . Björck, Numerical Methods in Scientific Computing, 2008.
DOI : 10.1137/1.9780898717785

B. Denckla and P. J. Mosterman, Stream- and State-Based Semantics of Hierarchy in Block Diagrams, 17th IFAC World Congress, pp.7955-7960, 2008.
DOI : 10.3182/20080706-5-KR-1001.01344

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, Languages, Compilers and Tools for Embedded Systems (LCTES'12), 2012.

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous dataflow programming language lustre, Proceedings of the IEEE, pp.1305-1320, 1991.

N. Halbwachs, P. Raymond, and C. , Generating efficient code from data-flow programs, Third International Symposium on Programming Language Implementation and Logic Programming, 1991.
DOI : 10.1007/3-540-54444-5_100

N. Halbwachs and F. Maraninchi, On the symbolic analysis of combinatorial loops in circuits and synchronous programs, Euromicro 95, 1995.

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

A. Edward, H. Lee, and . Zheng, Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems, Proc. of the 7th ACM & IEEE Int. Conf. on Embedded software (EMSOFT), pp.114-123, 2007.

A. Edward, H. Lee, and . Zheng, Operational semantics of hybrid systems, Hybrid Systems: Computation and Control (HSCC), 2005.

T. Lindstrom, An invitation to non standard analysis Nonstandard analysis and its applications, 1988.

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

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

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

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

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