1. Numerical methods for nonsmooth dynamical systems. Applications in mechanics and electronics;Acary,2008
2. Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems;Alur,1993
3. Computer methods for ordinary differential equations and differential-algebraic equations;Ascher,1998
4. A type-based analysis of causality loops in hybrid systems modelers;Benveniste;Nonlinear Analysis: Hybrid Systems,2017
5. Nonstandard semantics of hybrid systems modelers;Benveniste;Journal of Computer and System Sciences,2012