L. Carloni, R. Passerone, A. Pinto, and A. Sangiovanni-vincentelli, Languages and tools for hybrid systems design, Foundations and Trends in Electronic Design Automation, vol.1, issue.1, 2006.

K. J. Åström, Modeling and Simulation: from Physics to Software, 2014.

G. Berry, Real Time programming: Special purpose or general purpose languages, IFIP Congress, pp.11-17, 1989.
URL : https://hal.archives-ouvertes.fr/inria-00075494

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

L. Ljung, System Identification-theory for the user, 1999.

O. Bouissou and A. Chapoutot, An operational semantics for simulink's simulation engine, LCTES, pp.129-138, 2012.

P. J. Mosterman, J. Zander, G. Hamon, and B. Denckla, Towards Computational Hybrid System Semantics for Time-Based Block Diagrams, IFAC Proceedings volume, vol.42, pp.376-385, 2009.

E. A. Lee and H. Zheng, Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems, EMSOFT, 2007.

P. Caspi, A. Curic, A. Maignan, C. Sofronis, and S. Tripakis, Translating Discrete-Time Simulink to Lustre, ACM Transactions on Embedded Computing Systems, 2005.

A. Benveniste, T. Bourke, B. Caillaud, and M. Pouzet, Nonstandard semantics of hybrid systems modelers, J. Comput. Syst. Sci, vol.78, issue.3, pp.877-910, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00766726

F. M. Company, Structured analysis and design using Matlab/Simulink/Stateflow: Modelling style guidelines, 1999.

, Controller style guidelines for production intent using MATLAB, Simulink and Stateflow, MathWorks Automotive Advisory Board (MAAB), 2001.

D. Buck and A. Rau, On modelling guidelines: Flowchart patterns for STATEFLOW, Gesellschaft für Informatik, FG 2.1.1: Softwaretechnik Trends, vol.21, 2001.

A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. L. Guernic et al., The synchronous languages 12 years later, Proceedings of the IEEE, vol.91, issue.1, 2003.

J. Colaco, B. Pagano, and M. Pouzet, Scade 6: A Formal Language for Embedded Critical Software Development, Eleventh International Symposium on Theoretical Aspect of Software Engineering (TASE), 2017.
URL : https://hal.archives-ouvertes.fr/hal-01666470

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

, A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code, pp.137-148, 2011.

A. Benveniste, T. Bourke, B. Caillaud, B. Pagano, and M. Pouzet, A type-based analysis of causality loops in hybrid systems modelers, 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, pp.71-82, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00938866

T. Bourke, J. Colaço, B. Pagano, C. Pasteur, and M. Pouzet, A synchronous-based code generator for explicit hybrid systems languages, Compiler Construction-24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, vol.9031, pp.69-88, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01242732

A. Hindmarsh, P. Brown, K. Grant, S. Lee, R. Serban et al., SUNDIALS: Suite of nonlinear and differential/algebraic equation solvers, ACM Transactions on Mathematical Software, vol.31, issue.3, pp.363-396, 2005.

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

C. Brooks, E. A. Lee, X. Liu, S. Neuendorffer, Y. Zhao et al., Heterogeneous Concurrent Modeling and Design in Java, Memorandum UCB/ERL M04/27, 2004.

A. Benveniste, T. Bourke, B. Caillaud, B. Pagano, and M. Pouzet, A Type-based Analysis of Causality Loops in Hybrid Systems Modelers, Nonlinear Analysis: Hybrid Systems, vol.26, pp.168-189, 2017.
URL : https://hal.archives-ouvertes.fr/hal-00938866

E. A. Lee and A. Sangiovanni-vincentelli, A framework for comparing models of computation, IEEE Transactions on CAD, vol.17, issue.12, 1998.

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

N. Halbwachs and P. Raymond, A tutorial of Lustre, 2002.

C. Ptolemaeus, System Design, Modeling, and Simulation using Ptolemy II. Ptolemy.org, 2014.

J. Liu and E. A. Lee, On the causality of mixed-signal and hybrid models, Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003, vol.2623, pp.328-342, 2003.

, Simulink: Developing S-functions, 2017.

P. J. Mosterman, J. Zander, G. Hamon, and B. Denckla, A computational model of time for stiff hybrid systems applied to control synthesis, Control Engineering Practice, vol.20, issue.1, pp.2-13, 2012.

P. Mosterman, J. Zander, G. Hamon, and B. Denckla, Towards computational hybrid system semantics for time-based block diagrams, 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'09), pp.376-385, 2009.

E. A. Lee, Constructive models of discrete and continuous physical phenomena, IEEE Access, vol.2, pp.797-821, 2014.

,

O. Maler, Z. Manna, and A. Pnueli, From timed to hybrid systems," in REX Workshop, ser. Lecture Notes in Computer Science, vol.600, pp.447-484, 1991.

G. Dahlquist and Å. Björck, Numerical Methods in Scientific Computing, vol.1, 2008.

A. Robinson, Nonstandard Analysis. Princeton Landmarks in Mathematics, 1996.

T. Lindstrøm, An invitation to nonstandard analysis, Nonstandard Analysis and its Applications, N. Cutland, pp.1-105, 1988.

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, ser. POPL '13, pp.417-430, 2013.

, Simulink 7-User's Guide, 2010.

P. Caspi, A. Benveniste, R. Lublinerman, and S. Tripakis, Actors without directors: A kahnian view of heterogeneous systems, Hybrid Systems: Computation and Control, 12th International Conference, vol.5469, pp.46-60, 2009.

E. Matsikoudis and E. A. Lee, The fixed-point theory of strictly causal functions, Theor. Comput. Sci, vol.574, pp.39-77, 2015.

,

J. Colaço and M. Pouzet, Type-based Initialization Analysis of a Synchronous Data-flow Language, International Journal on Software Tools for Technology Transfer (STTT), vol.6, issue.3, pp.245-255, 2004.

R. Hindley, The principal type-scheme of an object in combinatory logic, Transactions of the American Mathematical Society, vol.146, pp.29-60, 1969.

R. Milner, A theory of type polymorphism in programming, Journal of Computer and System Sciences, vol.17, issue.3, pp.348-375, 1978.

S. User's-guide, The Mathworks, 2017.

. Modelisar, Functional Mock-up Interface for Model Exchange, 2010.

, Functional Mock-up Interface for Model Exchange and CoSimulation v2, 2010.

, Functional Mock-up Interface for Co-Simulation v1, 2010.

T. Bourke, J. Inoue, and M. Pouzet, Sundials/ML: interfacing with numerical solvers, ACM Workshop on ML, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01408230

L. Shampine, I. Gladwell, and T. S. , Solving ODEs with Matlab, 2003.

D. Biernacki, J. Colaco, G. Hamon, and M. Pouzet, Clock-directed Modular Code Generation of Synchronous Data-flow Languages, ACM International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), 2008.

, Available: lctes08a.pdf

J. Colaço, B. Pagano, and M. Pouzet, A Conservative Extension of Synchronous Data-flow with State Machines, ACM International Conference on Embedded Software (EMSOFT'05), 2005.

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

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

T. R. Shiple and G. Berry, Constructive analysis of cyclic circuits, Proceedings of the International Design and Test Conference ITDC 96, 1996.

D. Potop-butucaru, S. A. Edwards, and G. Berry, Compiling Esterel, 2007.

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

T. Bourke, F. Carcenac, J. Colaço, B. Pagano, C. Pasteur et al., A Synchronous Look at the Simulink Standard Library, ACM International Conference on Embedded Software (EMSOFT), 2017.
URL : https://hal.archives-ouvertes.fr/hal-01575631

A. Vincent and B. Bernard, Numerical Methods for Nonsmooth Dynamical Systems. Applications in Mechanics and Electronics, ser. Lecture Notes in Applied and Computational Mechanics, vol.35, 2008.

V. Acary, O. Bonnefon, and B. Brogliato, Nonsmooth Modeling and Simulation for Switched Circuits, ser. Lecture Notes in Electrical Engineering, vol.69, 2010.

F. Cellier and E. Kofman, Continuous System Simulation, 2006.

J. Fernandez, E. Kofman, and ;. Casella, Simulation of large-scale models in modelica: State of the art and future perspectives, Proc. of the 11th Int. Modelica Conference, vol.90, pp.782-799, 2014.

F. Bergero, A. Ranade, and F. Casella, QSS and Multi-rate Simulation of Object-oriented Models, Proceedings of the 7th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, ser. EOOLT '16, pp.69-77, 2016.

A. Benveniste, B. Caillaud, H. Elmqvist, K. Ghorbal, M. Otter et al., Structural analysis of multi-mode DAE systems, Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, pp.253-263, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01343967

, Structural Analysis of Multi-Mode DAE Systems, 2017.