R. Alur, C. Courcoubetis, T. Henzinger, and P. Ho, Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems, Hybrid systems, vol.736, pp.209-229, 1993.

M. Barela, A complementarity approach to modeling dynamic electric circuits, 2016.

A. Benveniste, B. Caillaud, H. Elmqvist, K. Ghorbal, M. Otter et al., Structural analysis of multi-mode DAE systems, HSCC, pp.253-263, 2017.
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, Inf. Comput, vol.163, issue.1, pp.125-171, 2000.

A. Benveniste, B. Caillaud, M. Pouzet, H. Elmqvist, and M. Otter, Structural Analysis of Multi-Mode DAE Systems, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01343967

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

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.

J. Bezanson, A. Edelman, S. Karpinski, and V. B. Shah, Julia: A fresh approach to numerical computing, SIAM Review, vol.59, issue.1, pp.65-98, 2017.

K. E. Brenan, S. L. Campbell, and L. R. Petzold, Numerical Solution of Initial Value Problems in Differential-Algebraic Equations, 1996.

N. Dunford and J. Schwartz, Linear Operators, Part I, General Theory, 1958.

H. Elmqvist, T. Henningsson, and M. Otter, Systems Modeling and Programming in a Unified Environment based on Julia, Proc. of ISoLA Conference, 2016.

H. Elmqvist, T. Henningsson, and M. Otter, Innovations for Future Modelica, Proc. of the 12th International Modelica Conference, 2017.

H. Elmqvist, S. Mattsson, and M. Otter, Modelica extensions for multi-mode DAE systems, Proc. of the 10th Int. Modelica Conference, 2014.

C. W. Gear, Differential-algebraic equation index transformations, SIAM J. Sci. Stat. Comput, vol.9, issue.1, pp.39-47, 1988.

C. W. Gear, B. Leimkuhler, and G. K. Gupta, Automatic integration of eulerlagrange equations with constraints, Journal of Computational and Applied Mathematics, vol.12, pp.77-90, 1985.

W. P. Heemels, M. K. Camlibel, and J. M. Schumacher, On the dynamic analysis of piecewise-linear networks, IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications, vol.49, issue.3, pp.315-327, 2002.

D. Karnopp, D. Margolis, and R. Rosenberg, System dynamics: a unified approach. A Wiley interscience publication, 1990.

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

S. Mattsson, M. Otter, and H. Elmqvist, Multi-Mode DAE Systems with Varying Index, Proc. of the 11th Int. Modelica Conference, 2015.

V. Mehrmann and L. Wunderlich, Hybrid systems of differential-algebraic equations -analysis and numerical solution, Special Section on Hybrid Systems: Modeling, Simulation and Optimization, vol.19, pp.1218-1228, 2009.

. Modelica, A Unified Object-Oriented Language for Systems Modeling. Language Specification, Modelica Association, 2017.

M. Otter and H. Elmqvist, Transformation of Differential Algebraic Array Equations to Index One Form, Proc. of the 12th International Modelica Conference, 2017.

C. Pantelides, The consistent initialization of differential-algebraic systems, SIAM J. Sci. Stat. Comput, vol.9, issue.2, pp.213-231, 1988.

P. Pepper, A. Mehlhase, C. Höger, and L. Scholz, A Compositional Semantics for Modelica-style Variable-structure Modeling, 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2011.

F. Pfeiffer, On non-smooth multibody dynamics, Proceedings of the Institution of Mechanical Engineers, vol.226, pp.147-177, 2012.

F. Pfeiffer and C. Glocker, Multibody Dynamics with Unilateral Contacts, 2008.

J. D. Pryce, A simple structural analysis method for DAEs, BIT, vol.41, issue.2, pp.364-394, 2001.

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

S. Schoeder, H. Ulbrich, and T. Schindler, Discussion of the Gear-Gupta-Leimkuhler method for impacting mechanical systems, Multibody System Dynamics, vol.31, pp.477-495, 2013.

L. Stephen, C. W. Campbell, and . Gear, The index of general nonlinear DAEs, Numer. Math, vol.72, pp.173-196, 1995.

J. Thoma, Introduction to Bond Graphs and Their Applications. Pergamon international library of Science, technology, engineering and social studies, 1975.

S. Trenn, Distributional Differential Algebraic Equations, 2009.

D. Zimmer, Equation-Based Modeling of Variable-Structure Systems, 2010.