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, 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, HSCC '17, pp.253-263, 2017.
DOI : 10.1023/A:1021998624799

URL : https://hal.archives-ouvertes.fr/hal-01521918

A. Benveniste, B. Caillaud, and P. L. Guernic, Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation, Information and Computation, vol.163, issue.1, pp.125-171, 2000.
DOI : 10.1006/inco.2000.9999

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

A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. L. Guernic et al., The synchronous languages 12 years later, Proceedings of the IEEE, pp.64-83, 2003.
DOI : 10.1109/JPROC.2002.805826

URL : http://www.cs.columbia.edu/~sedwards/papers/benveniste2003synchronous.pdf

G. Berry, Constructive semantics of Esterel: From theory to practice (abstract), AMAST '96: Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, p.225, 1996.
DOI : 10.1007/BFb0014318

S. L. Campbell and C. W. Gear, The index of general nonlinear DAEs, Numerische Mathematik, vol.72, issue.2, pp.173-196, 1995.
DOI : 10.1007/s002110050165

J. Dieudonné, Fondements de l'analyse moderne, 1965.

E. A. Lee, Constructive Models of Discrete and Continuous Physical Phenomena, IEEE Access, vol.2, pp.797-821, 2014.
DOI : 10.1109/ACCESS.2014.2345759

T. Lindstrøm, AN INVITATION TO NONSTANDARD ANALYSIS, Nonstandard Analysis and its Applications, pp.1-105, 1988.
DOI : 10.1017/CBO9781139172110.002

S. Mattsson, M. Otter, and H. Elmqvist, Multi-Mode DAE Systems with Varying Index, Proceedings of the 11th International Modelica Conference, Versailles, France, September 21-23, 2015, 2015.
DOI : 10.3384/ecp1511889

S. E. Mattsson and G. Söderlind, Index Reduction in Differential-Algebraic Equations Using Dummy Derivatives, SIAM Journal on Scientific Computing, vol.14, issue.3, pp.677-692, 1993.
DOI : 10.1137/0914043

V. Mehrmann and L. Wunderlich, Hybrid systems of differential-algebraic equations ??? Analysis and numerical solution, Special Section on Hybrid Systems: Modeling, Simulation and Optimization, pp.1218-1228, 2009.
DOI : 10.1016/j.jprocont.2009.05.002

C. Pantelides, The Consistent Initialization of Differential-Algebraic Systems, SIAM Journal on Scientific and Statistical Computing, vol.9, issue.2, pp.213-231, 1988.
DOI : 10.1137/0909014

F. Pfeiffer, On non-smooth multibody dynamics [16] A. Pothen and C. Fan. Computing the block triangular form of a sparse matrix, Proceedings of the Institution of Mechanical Engineers , Part K: Journal of Multi-body Dynamics ACM Trans. Math. Softw, vol.226, issue.164, pp.147-177303, 1990.
DOI : 10.1177/1464419312438487

J. D. Pryce, A simple structural analysis method for DAEs, Bit Numerical Mathematics, vol.41, issue.2, pp.364-394, 2001.
DOI : 10.1023/A:1021998624799