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, 2017.
DOI : 10.1023/A:1021998624799
URL : https://hal.archives-ouvertes.fr/hal-01343967

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

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 Proceedings of the Institution of Mechanical Engineers, Journal of Multi-body Dynamics, vol.226, issue.2, pp.147-177, 2012.

A. Pothen and C. Fan, Computing the block triangular form of a sparse matrix, ACM Transactions on Mathematical Software, vol.16, issue.4, pp.303-324, 1990.
DOI : 10.1145/98267.98287

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