T. Prosvirnova, M. Batteux, P. 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, vol.2013, 2013.
DOI : 10.1201/b15938-169
URL : https://hal.archives-ouvertes.fr/hal-01789435

D. Riera, F. Milcent, J. Parisot, and E. Clement, Modélisation dynamique en Sûreté de Fonctionnement : une avancée pour l'analyse des systèmes complexes, 2012.

L. , ARNAUD -Contribution à l'amélioration de la testabilité et du diagnostic de systèmes complexes : Application aux systèmes avioniques, 2014.

E. C. Thomas--arbre, Analyste : un outil d'arbres de défaillances respectant le standard Open-PSA et utilisant le moteur XFTA

R. A. Batteux, M. Prosvirnova, T. Rauzy, and A. , Guarded transition systems: a new states/events formalism for reliability studies, 2008.

, System Structure Modeling Language, issue.S2ML

L. ;. Valiant, C. Lafortune, and S. , The Complexity of Computing the Permanent CASSANDRAS, 1979.

K. Zimmermann, Extrem´aln´? Algebra. Ekonomick´yùstav ?CSAV, 1976.