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. ,
Qualitative analysis of a BDMP by finite automaton, 20th European Safety & Reliability Conference, pp.2055-2057, 2011. ,
DOI : 10.1201/b11433-289
Systematic extraction of minimal cut sequences from a BDMP model, 21th European Safety & Reliability Conference, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00782735
Towards a unified definition of Minimal Cut Sequences, 4th IFAC DCDS, 2013. ,
DOI : 10.3182/20130904-3-UK-4041.00013