M. Bouissou and J. Bon, Fiabilité des grands systèmes séquentiels: résultats théoriques et applications dans le cadre du logiciel GSI, vol.40, 1992.

M. Bouissou and J. Bon, A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes, Reliab. Eng. Syst. Saf, vol.82, pp.149-163, 2003.

M. Bouissou and O. Hernu, Boolean approximation for calculating the reliability of a very large repairable system with dependencies among components, Proc. ESREL 2016, Glasgow, 2016.

M. Bouissou, Automated dependability analysis of complex systems with the KB3 workbench: the experience of EDF R&D, Proc. CIEM, 2005.

M. Bouissou, Détermination efficace de scenarii minimaux de défaillance pour des systèmes séquentiels, Proc. 15 ème Colloque de fiabilité et maintenabilité, 2006.

J. B. Fussell and W. E. Vesely, A new methodology for obtaining cut sets for fault trees, Trans. Amer. Nucl. Soc, vol.15, pp.262-263, 1972.

J. Krcál and P. Krcál, Scalable analysis of fault trees with dynamic features, Proc. DSN, 2015.