The AltaRica 3.0 project for model-based safety assessment. - Michel Batteux; Tatiana Prosvirnova; Antoine Rauzy; Leïla Kloul (INDIN, 2013)

Safety Assessment of an Electrical System with AltaRica 3.0. - Hala Mortada; Tatiana Prosvirnova; Antoine Rauzy (IMBSA, 2014)

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 (2014)

Automated generation of minimal cut sets from AltaRica 3.0 models. - Tatiana Prosvirnova; Antoine Rauzy (Int. J. Crit. Comput. Based Syst., 2015)

Comparison of modeling formalisms for Safety Analyses: SAML and AltaRica. - Michael Lipaczewski; Frank Ortmeier; Tatiana Prosvirnova; Antoine Rauzy; Simon Struck (Reliab. Eng. Syst. Saf., 2015)

Performing Safety Analyses with AADL and AltaRica. - Julien Brunel; Peter H. Feiler; Jérôme Hugues; Bruce A. Lewis; Tatiana Prosvirnova; Christel Seguin; Lutz Wrage (IMBSA, 2017)

Handling Consistency Between Safety and System Models. - Tatiana Prosvirnova; Estelle Saez; Christel Seguin; Pierre Virelizier (IMBSA, 2017)

Reliability Assessment of Phased-Mission Systems with AltaRica 3.0. - Michel Batteux; Tatiana Prosvirnova; Antoine Rauzy; Liu Yang (ICSRS, 2018)

Synchronization of System Architecture, Multi-physics and Safety Models. - Michel Batteux; Jean-Yves Choley; Faïda Mhenni; Luca Palladino; Tatiana Prosvirnova; Antoine Rauzy; Maurice Theobald (CSDM, 2019)

Modeling Patterns for the Assessment of Maintenance Policies with AltaRica 3.0. - Michel Batteux; Tatiana Prosvirnova; Antoine Rauzy (IMBSA, 2019)

Model Synchronization: A Formal Framework for the Management of Heterogeneous Models. - Michel Batteux; Tatiana Prosvirnova; Antoine Rauzy (IMBSA, 2019)

Synchronization of System Architecture and Safety Models: a Proof of Concept. - Michel Batteux; Jean-Yves Choley; Faïda Mhenni; Tatiana Prosvirnova; Antoine Rauzy (ISSE, 2019)

AltaRica 3.0 in ten modelling patterns. - Michel Batteux; Tatiana Prosvirnova; Antoine Rauzy (Int. J. Crit. Comput. Based Syst., 2019)

Performance Assessment of an Offshore Windmill Farm with AltaRica 3.0. - Michel Batteux; Tatiana Prosvirnova; Antoine Rauzy (IMBSA, 2022)

Strategies for Modelling Failure Propagation in Dynamic Systems with AltaRica. - Tatiana Prosvirnova; Christel Seguin; Christophe Frazza; Michel Batteux; Xavier de Bossoreille; Frédéric Deschamps; Jean Gauthier; Estelle Saez (IMBSA, 2022)

Abstract executions of stochastic discrete event systems. - Michel Batteux; Tatiana Prosvirnova; Antoine B. Rauzy (Int. J. Crit. Comput. Based Syst., 2022)

An Altarica-Based Modelling and Analysis Approach Enabling UAV Regulation Compliance. - Pierre Bieber; Kevin Delmas; Sergio Pizziol; Tatiana Prosvirnova; Christel Seguin (IMBSA, 2025)

Variance-Based Sensitivity Analysis for Probabilistic Risk Assessment. - Jonathan Mboko; Jérôme Morio; Christel Seguin; Jean-Charles Chaudemar; Tatiana Prosvirnova (IMBSA, 2025)