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

A. Arnold, B. Boyer, and A. Legay, Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach, Proceedings of AiSoS. EPTCS, pp.47-66, 2013.
DOI : 10.4204/EPTCS.133.6

M. Basseville and I. V. Nikiforov, Detection of Abrupt Changes: Theory and Application, 1993.
URL : https://hal.archives-ouvertes.fr/hal-00008518

B. Boyer, K. Corre, A. Legay, and S. Sedwards, PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library, Proceedings of QEST. LNCS, pp.160-164, 2013.
DOI : 10.1007/978-3-642-40196-1_12
URL : https://hal.archives-ouvertes.fr/hal-01088411

B. Boyer, A. Legay, and L. Traonouez, A Formalism for Stochastic Adaptive Systems, Proceedings of ISoLA, pp.160-176, 2014.
DOI : 10.1007/978-3-662-45231-8_12
URL : https://hal.archives-ouvertes.fr/hal-01087327

A. Colombo, D. Fontanelli, A. Legay, L. Palopoli, and S. Sedwards, Motion planning in crowds using statistical model checking to enhance the social force model, 52nd IEEE Conference on Decision and Control, pp.3602-3608, 2013.
DOI : 10.1109/CDC.2013.6760437
URL : https://hal.archives-ouvertes.fr/hal-01088031

A. Colombo, D. Fontanelli, A. Legay, L. Palopoli, and S. Sedwards, Efficient customisable dynamic motion planning for assistive robots in complex human environments, Journal of Ambient Intelligence and Smart Environments, vol.7, issue.5, pp.617-633, 2015.
DOI : 10.3233/AIS-150338
URL : https://hal.archives-ouvertes.fr/hal-01239099

D. 'argenio, P. Hartmanns, A. Legay, A. Sedwards, and S. , Statistical approximation of optimal schedulers for probabilistic timed automata, 12th Int. Conf. on integrated Formal Methods (iFM), 2016.
URL : https://hal.archives-ouvertes.fr/hal-01387362

D. 'argenio, P. Legay, A. Sedwards, S. Traonouez, and L. , Smart sampling for lightweight verification of markov decision processes, STTT, vol.17, issue.4, pp.469-484, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01088633

C. Jegourel, A. Legay, and S. Sedwards, Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking, Proceedings of CAV. LNCS, pp.327-342, 2012.
DOI : 10.1007/978-3-642-31424-7_26
URL : https://hal.archives-ouvertes.fr/hal-01087341

C. Jegourel, A. Legay, and S. Sedwards, Importance Splitting for Statistical Model Checking Rare Properties, Proceedings of CAV. LNCS, pp.576-591, 2013.
DOI : 10.1007/978-3-642-39799-8_38
URL : https://hal.archives-ouvertes.fr/hal-01087826

C. Jegourel, A. Legay, and S. Sedwards, An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking, Proceedings of ISoLA, pp.143-159, 2014.
DOI : 10.1007/978-3-662-45231-8_11
URL : https://hal.archives-ouvertes.fr/hal-01087828

C. Jegourel, A. Legay, S. Sedwards, and L. Traonouez, Distributed verification of rare properties using importance splitting observers, ECEASST, vol.72, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01238982

M. Kwiatkowska, G. Norman, and D. Parker, Controller dependability analysis by probabilistic model checking, Control Engineering Practice, vol.15, issue.11, pp.1427-1434, 2006.
DOI : 10.1016/j.conengprac.2006.07.003

A. Legay, S. Sedwards, and L. Traonouez, Scalable Verification of Markov Decision Processes, SEFM Collocated Workshops, pp.350-362, 2014.
DOI : 10.1007/978-3-319-15201-1_23
URL : https://hal.archives-ouvertes.fr/hal-01088396

A. Legay, S. Sedwards, and L. Traonouez, Estimating rewards & rare events in nondeterministic systems, ECEASST, vol.72, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01239051

A. Legay and L. Traonouez, Statistical Model Checking of Simulink Models with Plasma Lab, Proceedings of FTSCS. Communications in Computer and Information Science, pp.259-264, 2015.
DOI : 10.1007/978-3-319-29510-7_15
URL : https://hal.archives-ouvertes.fr/hal-01241249

A. Legay and L. Traonouez, Statistical Model Checking with Change Detection, FO- MACS, vol.43, issue.2, 2016.
DOI : 10.1007/978-3-540-27813-9_16
URL : https://hal.archives-ouvertes.fr/hal-01242138

V. C. Ngo, A. Legay, and V. Joloboff, PSCV: A Runtime Verification Tool for Probabilistic SystemC Models, Proceedings of CAV, 2016.
DOI : 10.1007/978-3-319-41528-4_5
URL : https://hal.archives-ouvertes.fr/hal-01406488

M. Okamoto, Some inequalities relating to the partial sum of binomial probabilities, Annals of the Institute of Statistical Mathematics, vol.7, issue.1, pp.29-35, 1959.
DOI : 10.1007/BF02883985

E. S. Page, CONTINUOUS INSPECTION SCHEMES, Biometrika, vol.41, issue.1-2, pp.100-115, 1954.
DOI : 10.1093/biomet/41.1-2.100

A. Wald, Sequential Tests of Statistical Hypotheses, The Annals of Mathematical Statistics, vol.16, issue.2, pp.117-186, 1945.
DOI : 10.1214/aoms/1177731118

H. L. Younes and R. G. Simmons, Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling, Proceedings of CAV, pp.223-235, 2002.
DOI : 10.1007/3-540-45657-0_17