B. Aupetit, M. Batteux, A. Rauzy, and &. Roussel, Improving performances of the altarica 3, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01239379

. Stochastic-simulator, Safety and Reliability of Complex Engineered Systems: ESREL 2015, pp.1815-1824

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

R. E. Bryant, Symbolic Boolean manipulation with ordered binary-decision diagrams, ACM Computing Surveys, vol.24, issue.3, pp.293-318, 1992.
DOI : 10.1145/136035.136043

M. Hibti, T. Friedlhuber, and &. A. Rauzy, Overview of the open psa platform, Proceedings of International Joint Conference PSAM'11, p.12, 2012.

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-80, 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. Rauzy, Anatomy of an efficient fault tree assessment engine, Proceedings of International Joint Conference PSAM'11, p.12, 2012.