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

A. Aubry and P. Chartier, Pseudo-symplectic Runge-Kutta methods, BIT Numerical Mathematics, vol.11, issue.2, pp.229-246, 1998.
DOI : 10.1007/BF02510253
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.40.3961

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

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, 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

S. Bliudze, Un cadre formel pour l'étude des systèmes industriels complexes: un exemple basé sur l'infrastructure de l'UMTS, 2006.

S. Campbell, A computational method for general higher index nonlinear singular systems of differential equations, Repr. from Numerical and Applied Mathematics, vol.12, pp.555-560, 1989.

G. C. and L. Petzold, ODE methods for the solution of differentialalgebraic systems, SIAM J. Numer. Anal, vol.21, pp.716-728, 1984.

H. Elmqvist, A structured model language for large continuous systems, 1978.

P. J. Gawthrop, . Smith, and P. S. Lorcan, Metamodelling: bond graphs and dynamic systems, 1996.

J. Thoma, Introduction to Bond Graphs and Their Applications, IEEE Transactions on Systems, Man, and Cybernetics, vol.6, issue.11, 1975.
DOI : 10.1109/TSMC.1976.4309468

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

L. Ljung and T. Glad, Modeling of Dynamic Systems, 1994.

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

S. Mattsson, H. Elmqvist, and M. Otter, Physical system modeling with Modelica, Control Engineering Practice, vol.6, issue.4, pp.501-510, 1998.
DOI : 10.1016/S0967-0661(98)00047-1

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

P. Fritzson, Introduction to Modeling and Simulation of Technical and Physical Systems with Modelica, 2011.
DOI : 10.1002/9781118094259

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

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

S. Erik-mattsson 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