T. A. Henzinger and J. Raskin, Robust Undecidability of Timed and Hybrid Systems, Hybrid Systems : Computation and Control, pp.145-159, 2000.
DOI : 10.1007/3-540-46430-1_15
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.93.2314

P. Ballarini, B. Barbot, M. Duflot, S. Haddad, and N. Pekergin, HASL: A new approach for performance evaluation and model checking from concepts to experimentation, Performance Evaluation, vol.90, pp.53-77, 2015.
DOI : 10.1016/j.peva.2015.04.003
URL : https://hal.archives-ouvertes.fr/hal-01221815

O. Bouissou and A. Chapoutot, An operational semantics for Simulink's simulation engine, Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems, LCTES '12, pp.129-138, 2012.
DOI : 10.1145/2248418.2248437

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

E. Fehlberg, Low-order classical Runge-Kutta formulas with stepsize control and their application to some heat transfer problems, ser. NASA technical report. National Aeronautics and Space Administration, 1969.
DOI : 10.1007/bf02253322