B. Aupetit, M. Batteux, A. Rauzy, J. M. Roussel, L. Podofillini et al., 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. M. Roussel, Vers la définition d'un kit d'évaluation pour les simulateurs stochastiques, Actes du Congrès Lambda-Mu 20 (actesélectroniques). Institut pour la Maîtrise des Risques (IMdR), 2016.

M. Batteux, T. Prosvirnova, and A. , Rauzy: From models of structures to structures of models, 4th IEEE International Symposium on Systems Engineering, 2018.

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, Altarica 3.0 in 10 modeling patterns, International Journal of Critical Computer-Based Systems, vol.9, issue.1-2, pp.133-165, 2018.
URL : https://hal.archives-ouvertes.fr/hal-02063678

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

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns -Elements of Reusable Object-Oriented Software. Addison-Wesley professional computing series, 1994.

M. W. Maier, The art of systems architecting, 2009.

T. Prosvirnova, M. Batteux, P. A. 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

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.

Y. Zhang, A. Barros, A. Rauzy, E. Lunde, S. Haugen et al., A modelling methodology for the assessment of preventive maintenance on a compressor drive system, Safe Societies in a Changing World, Proceedings of European Safety and Reliability Conference, pp.915-922, 2018.

A. Zimmermann, Stochastic Discrete Event Systems, 2008.