B. Aupetit, M. Batteux, A. Rauzy, and J. Roussel, Improving performance of the AltaRica 3.0 stochastic simulator, Proceedings of Safety and Reliability of Complex Engineered Systems: ESREL 2015, pp.1815-1824, 2015.

B. Aupetit, M. Batteux, A. Rauzy, and J. Roussel, Vers la définition d'un kit d'évaluation pour les simulateurs stochastiques. 20ième Congrès de Maîtrise des Risques et Sûreté de Fonctionnement, 2016.

M. Batteux, T. Prosvirnova, and A. Rauzy, Altarica 3.0 assertions: the why and the wherefore, Journal of Risk and Reliability, 2017.
URL : https://hal.archives-ouvertes.fr/hal-02063678

M. Batteux, T. Prosvirnova, and A. Rauzy, System Structure Modeling Language (S2ML), 2015.
URL : https://hal.archives-ouvertes.fr/hal-01234903

, AltaRica Association, 2015. archive hal-01234903

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

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

T. Prosvirnova, M. Batteux, P. Brameret, A. Cherfi, T. Friedlhuber et al., The altarica 3.0 project for model-based safety ssessment, 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. Prosvirnova and A. Rauzy, Automated generation of minimal cutsets from altarica 3.0 models, International Journal of Critical Computer-Based Systems, vol.6, issue.1, pp.50-79, 2015.

A. Rauzy, Guarded transition systems: a new states/events formalism for reliability studies, Journal of Risk and Reliability, vol.222, issue.4, pp.495-505, 2008.

A. Zimmermann, Stochastic Discrete Event Systems, 1976.