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, pp.53-77, 2015.
DOI : 10.1016/j.peva.2015.04.003
URL : https://hal.archives-ouvertes.fr/hal-01221815

M. Batteux and A. Rauzy, Stochastic simulation of AltaRica 3.0 models, Proceedings of the European Safety and Reliability Conference, ESREL 2013, 2013.
DOI : 10.1201/b15938-165

M. Batteux, T. Prosvirnova, and A. Rauzy, System Structure Modeling Language (S2ML) AltaRica Association, 2015.

J. Bengtsson, K. Larsen, F. Larsson, P. Pettersson, Y. et al., UPPAAL ? a tool suite for automatic verification of real-time systems, pp.232-24310, 1996.

F. Boniol, V. Wiels, Y. A. Ameur, and K. D. Schewe, ABZ 2014: The Landing Gear Case Study, Communications in Computer and Information Science, vol.433, 2014.
DOI : 10.1007/978-3-319-07512-9

M. Güdemann, M. Lipaczewski, S. Struck, and F. Ortmeier, Unifying probabilistic and traditional formal model-based analysis, Proceedings of 8. Dagstuhl- Workshop on Model-Based Development of Embedded Systems (MBEES), 2012.

J. Hanley and A. Lippman-hand, If Nothing Goes Wrong, Is Everything All Right?, JAMA, vol.249, issue.13, pp.249-1743, 1983.
DOI : 10.1001/jama.1983.03330370053031

E. Henley and H. Kumamoto, Reliability engineering and risk assessment, 1981.

M. Kwiatkowska, G. Norman, P. , and D. , PRISM 4.0: Verification of Probabilistic Real-Time Systems, Proc. 23rd International Conference on Computer Aided Verification (CAV'11), pp.585-591, 2011.
DOI : 10.1007/3-540-45657-0_17
URL : https://hal.archives-ouvertes.fr/hal-00648035

J. Noble, A. Taivalsaari, M. , and I. , Prototype- Based Programming: Concepts, Languages and Applications, 1999.

P. Y. Piriou and . Ens-cachan, ContributionàContribution`Contributionà l'analyse de sûreté de fonctionnement basée sur les modèles des systèmes dynamiques, réparables et reconfigurables, 2015.

T. Prosvirnova, AltaRica 3.0: a Model-Based Approach for Safety Analyses, Thèse de doctorat, ´ Ecole Polytechnique, 2013.
DOI : 10.1201/b15938-169
URL : https://hal.archives-ouvertes.fr/tel-01119730

M. Rausand and A. Høyland, System Reliability Theory: Models, Statistical Methods, and Applications, 2004.
DOI : 10.1002/9780470316900

A. Rauzy, Guarded transition systems: A new states/events formalism for reliability studies, Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, vol.78, issue.1, pp.495-505, 2008.
DOI : 10.1016/S0951-8320(02)00042-X

L. G. Valiant, The Complexity of Enumeration and Reliability Problems, SIAM Journal on Computing, vol.8, issue.3, 1979.
DOI : 10.1137/0208032

A. Zimmermann, Stochastic Discrete Event Systems: Modeling, Evaluation, Applications, 2007.
DOI : 10.1007/978-3-540-74173-2

E. Zio, The Monte Carlo Simulation Method for System Reliability and Risk Analysis, Series in Reliability Engineering, 2013.
DOI : 10.1007/978-1-4471-4588-2
URL : https://hal.archives-ouvertes.fr/hal-00777141