The following publications are possibly variants of this publication:
- 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]
- AltaRica 3.0: a Model-Based approach for Safety Analyses. (AltaRica 3.0 : une appoche orientée modèles pour la Sûreté de Fonctionnement)Tatiana Prosvirnova. PhD thesis, École Polytechnique, Palaiseau, France, 2014. [doi]
- AltaRica 3.0 in ten modelling patternsMichel Batteux, Tatiana Prosvirnova, Antoine Rauzy. ijccbs, 9(1/2):133-165, 2019. [doi]
- Performance Assessment of an Offshore Windmill Farm with AltaRica 3.0Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy. imbsa 2022: 130-145 [doi]
- Reliability Assessment of Phased-Mission Systems with AltaRica 3.0Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy, Liu Yang. icsrs 2018: 400-407 [doi]
- Automated generation of minimal cut sets from AltaRica 3.0 modelsTatiana Prosvirnova, Antoine Rauzy. ijccbs, 6(1):50-80, 2015. [doi]