"Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains."

Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics