A. Agrawal, G. Simon, and G. Karsai, Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations, Electronic Notes in Theoretical Computer Science, vol.109, pp.43-56, 2004.
DOI : 10.1016/j.entcs.2004.02.055

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, issue.0, pp.53-77, 2015.
DOI : 10.1016/j.peva.2015.04.003

URL : https://hal.archives-ouvertes.fr/hal-01221815

P. Ballarini and M. Duflot, Applications of an expressive statistical model checking approach to the analysis of genetic circuits, Theoretical Computer Science, vol.599, pp.4-33, 2015.
DOI : 10.1016/j.tcs.2015.05.018

URL : https://hal.archives-ouvertes.fr/hal-01250521

B. Barbot, N. Basset, M. Beunardeau, and M. Kwiatkowska, Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement, Proceedings of QEST 2016, pp.175-190, 2016.
DOI : 10.1016/j.ic.2006.05.002

URL : https://hal.archives-ouvertes.fr/hal-01371897

B. Barbot, S. Haddad, M. Heiner, and C. Picaronny, Rare event handling in signalling cascades, International Journal on Advances in Systems and Measurements, vol.8, issue.12, pp.69-79, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01242981

B. Barbot, S. Haddad, and C. Picaronny, Coupling and Importance Sampling for Statistical Model Checking, Proceedings of TACAS'12, pp.331-346, 2012.
DOI : 10.1007/978-3-642-28756-5_23

URL : https://hal.archives-ouvertes.fr/hal-00776795

B. Barbot, M. Kwiatkowska, A. Mereacre, and N. Paoletti, Building Power Consumption Models from Executable Timed I/O Automata Specifications, Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC '16, pp.195-204, 2016.
DOI : 10.1109/JPROC.2003.814617

URL : https://hal.archives-ouvertes.fr/hal-01371896

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

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, 2012.
DOI : 10.1145/2248418.2248437

Y. S. Chow and H. Robbins, On the asymptotic theory of fixed-width sequential confidence intervals for the mean. The Annals of Math, pp.457-462, 1965.

C. Clopper and E. S. Pearson, THE USE OF CONFIDENCE OR FIDUCIAL LIMITS ILLUSTRATED IN THE CASE OF THE BINOMIAL, Biometrika, vol.26, issue.4, pp.404-413, 1934.
DOI : 10.1093/biomet/26.4.404

W. Hoeffding, Probability Inequalities for Sums of Bounded Random Variables, Journal of the American Statistical Association, vol.1, issue.301, pp.13-30, 1963.
DOI : 10.1007/BF02883985

A. Tiwari, Formal Semantics and Analysis methods for Simulink Stateflow Models, Tech. rep., SRI, 2002.

S. Tripakis, C. Sofronis, P. Caspi, and A. Curic, Translating discrete-time simulink to lustre, ACM Transactions on Embedded Computing Systems, vol.4, issue.4, pp.779-818, 2005.
DOI : 10.1145/1113830.1113834

A. Wald, Sequential tests of statistical hypotheses. The Annals of Math, Statistics, vol.16, issue.2, pp.117-186, 1945.