M. Althoff, O. Stursberg, and M. Buss, Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization, 2008 47th IEEE Conference on Decision and Control, pp.4042-4048, 2008.
DOI : 10.1109/CDC.2008.4738704

R. Alur, A. Kanade, K. Ramesh, and . Shashidhar, Symbolic analysis for improving simulation coverage of Simulink/Stateflow models, Proceedings of the 7th ACM international conference on Embedded software, EMSOFT '08, pp.89-98, 2008.
DOI : 10.1145/1450058.1450071

Y. Annpureddy, C. Liu, G. Fainekos, and S. Sankaranarayanan, S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp.254-257, 2011.
DOI : 10.1007/978-3-540-88562-7_19
URL : https://repository.asu.edu/attachments/93257/content//tmp/package-hhfQFR/Annapureddy_asu_0010N_11225.pdf

E. Asarin, T. Dang, and A. Girard, Hybridization methods for the analysis of nonlinear systems, Acta Informatica, vol.12, issue.2, pp.451-476, 2007.
DOI : 10.1007/s00236-006-0035-7
URL : https://hal.archives-ouvertes.fr/hal-00157475

S. Bak, S. Bogomolov, and T. T. Johnson, HYST, Proceedings of the 18th International Conference on Hybrid Systems Computation and Control, HSCC '15, pp.128-133, 2015.
DOI : 10.1145/2728606.2728630

O. Bouissou, S. Mimram, and A. Chapoutot, HySon: Set-based simulation of hybrid systems, 2012 23rd IEEE International Symposium on Rapid System Prototyping (RSP), pp.79-85, 2012.
DOI : 10.1109/RSP.2012.6380694
URL : https://hal.archives-ouvertes.fr/hal-00819377

S. Cotton, G. Frehse, and O. Lebeltel, The SpaceEx modeling language, 2010.

A. Donzé, Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems, International Conference on Computer Aided Verification, pp.167-170, 2010.
DOI : 10.1007/978-3-642-14295-6_17

A. Donzé and G. Frehse, Modular, hierarchical models of control systems in SpaceEx, Control Conference (ECC), 2013 European, pp.4244-4251, 2013.

C. Fan, B. Qi, S. Mitra, M. Viswanathan, and P. Sridhar-duggirala, Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2, CAV'16, pp.531-538, 2016.
DOI : 10.1007/978-3-319-24953-7_32

P. Filipovikj, N. Mahmud, R. Marinescu, C. Seceleanu, O. Ljungkrantz et al., Simulink to UPPAAL statistical model checker: Analyzing automotive industrial systems, FM 2016: Formal Methods: 21st International Symposium Proceedings 21, pp.748-756, 2016.
DOI : 10.1007/978-3-319-48989-6_46

G. Frehse, Introduction to SpaceEx v0

G. Frehse, C. Le-guernic, S. Cotton-alexandre-donzé, R. Ray, O. Lebeltel et al., SpaceEx: Scalable Verification of Hybrid Systems, CAV'11, pp.379-395, 2011.
DOI : 10.1007/978-3-642-00768-2_32
URL : https://hal.archives-ouvertes.fr/hal-00769608

N. Kekatos, M. Forets, and G. Frehse, Constructing verification models of nonlinear Simulink systems via syntactic hybridization, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01487658

C. Le, G. , and A. Girard, Reachability analysis of linear systems using support functions. Nonlinear Analysis: Hybrid Systems, pp.250-262, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00765598

S. Minopoli and G. Frehse, SL2SX Translator, Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC '16, pp.93-98, 2016.
DOI : 10.1145/2883817.2883826

S. Schuler, F. Daher-adegas, and A. Anta, Hybrid modelling of a wind turbine (benchmark proposal) Applied Verification for Continuous and Hybrid Systems, p.2016

N. Zhan, S. Wang, and H. Zhao, Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach, 2016.
DOI : 10.1007/978-3-319-47016-0