The following publications are possibly variants of this publication:
- The AltaRica 3.0 project for model-based safety assessmentMichel Batteux, Tatiana Prosvirnova, Antoine Rauzy, Leïla Kloul. indin 2013: 741-746 [doi]
- AltaRica 3.0 in ten modelling patternsMichel Batteux, Tatiana Prosvirnova, Antoine Rauzy. ijccbs, 9(1/2):133-165, 2019. [doi]
- Safety Assessment of an Electrical System with AltaRica 3.0Hala Mortada, Tatiana Prosvirnova, Antoine Rauzy. imbsa 2014: 181-194 [doi]
- Modeling Patterns for the Assessment of Maintenance Policies with AltaRica 3.0Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy. imbsa 2019: 32-46 [doi]
- Performing Safety Analyses with AADL and AltaRicaJulien Brunel, Peter H. Feiler, Jérôme Hugues, Bruce A. Lewis, Tatiana Prosvirnova, Christel Seguin, Lutz Wrage. imbsa 2017: 67-81 [doi]
- Automated generation of minimal cut sets from AltaRica 3.0 modelsTatiana Prosvirnova, Antoine Rauzy. ijccbs, 6(1):50-80, 2015. [doi]