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

A. Benveniste, T. Bourke, B. Caillaud, and M. Pouzet, Divide and recycle: types and compilation for a hybrid synchronous language, pp.61-70, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00654112

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

T. Bourke and M. Pouzet, Z??lus, Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC '13, pp.113-118, 2013.
DOI : 10.1145/2461328.2461348

E. Lee and H. Zheng, Operational Semantics of Hybrid Systems, HSCC, pp.25-53, 2005.
DOI : 10.1007/978-3-540-31954-2_2

E. A. Lee and H. Zheng, Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems, Proceedings of the 7th ACM & IEEE international conference on Embedded software , EMSOFT '07, pp.114-123, 2007.
DOI : 10.1145/1289927.1289949

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

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

S. E. Mattson and G. Söderlin, 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