M. Bon and J. , A new formalism that combines advantages of fault trees and Markov models: Boolean logic driven Markov processes, Reliability Engineering and Systems Safety, vol.82, issue.2, pp.149-163, 2003.

P. Chaux, J. Roussel, J. Lesage, G. Deleuze, and M. Bouissou, Qualitative analysis of a BDMP by finite automaton, 20th European Safety & Reliability Conference, pp.2055-2057, 2011.
DOI : 10.1201/b11433-289

P. Chaux, J. Roussel, J. Lesage, G. Deleuze, and M. Bouissou, Systematic extraction of minimal cut sequences from a BDMP model, 21th European Safety & Reliability Conference, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00782735

P. Chaux, J. Roussel, J. Lesage, G. Deleuze, and M. Bouissou, Towards a unified definition of Minimal Cut Sequences, 4th IFAC DCDS, 2013.
DOI : 10.3182/20130904-3-UK-4041.00013