B. Aupetit, M. Batteux, A. Rauzy, and &. Roussel, Improving performances of the AltaRica 3.0 stochastic simulator, Proceedings of Safety and Reliability of Complex Engineered Systems: ES- REL 2015, pp.1815-1824, 2015.
DOI : 10.1201/b19094-236
URL : https://hal.archives-ouvertes.fr/hal-01239379

M. Batteux, T. Prosvirnova, and &. A. Rauzy, AltaRica 3.0 assertions: The whys and wherefores, Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, vol.2, issue.8, 2017.
DOI : 10.1109/TC.2008.26
URL : https://hal.archives-ouvertes.fr/hal-02063678

P. Brameret, A. Rauzy, and &. Roussel, Automated generation of partial Markov chain from high level descriptions, Reliability Engineering & System Safety, vol.139, pp.179-187, 2015.
DOI : 10.1016/j.ress.2015.02.009
URL : https://hal.archives-ouvertes.fr/hal-01238630

C. G. Cassandras and . Lafortune, Introduction to Discrete Event Systems, 2008.

E. M. Clarke, O. Grumberg, and &. D. Peled, Model Checking, 2000.

P. R. Cousot and . Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/hal-00930103

N. P. Matloff and . Salzman, The Art of Debugging with GDB, DDD, and Eclipse, 2008.

R. Milner, Communication and Concurrency. Prentice- Hall international series in computer science. Upper Saddle River, 1989.

T. Prosvirnova, M. Batteux, P. Brameret, A. Cherfi, T. Friedlhuber et al., The altarica 3.0 project for model-based safety assessment, Proceedings of 4th IFAC Workshop on Dependable Control of Discrete Systems, DCDS'2013, pp.127-132, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01789435

T. A. Prosvirnova and . Rauzy, Automated generation of minimal cut sets from AltaRica 3.0 models, International Journal of Critical Computer-Based Systems, vol.6, issue.1, pp.50-79, 2015.
DOI : 10.1504/IJCCBS.2015.068852

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.222, issue.4, pp.495-505, 2008.
DOI : 10.1016/S0951-8320(02)00042-X

A. Zimmermann, Stochastic Discrete Event Systems, 1976.
DOI : 10.1007/978-3-540-74173-2