A. Arnold, B. Boyer, and A. Legay, Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach, Proceedings 1st Workshop on Advances in Systems of Systems, pp.47-66, 2013.
DOI : 10.4204/EPTCS.133.6

B. Boyer, K. Corre, A. Legay, and S. Sedwards, PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library, Quantitative Evaluation of Systems -10th International Conference, QEST 2013. Proceedings, pp.160-164, 2013.
DOI : 10.1007/978-3-642-40196-1_12

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

L. S. Håkan, R. G. Younes, and . Simmons, Statistical probabilistic model checking with a focus on time-bounded properties, Inf. Comput, vol.204, issue.9, pp.1368-1409, 2006.