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

Hichem Boudali, Pepijn Crouzen, Marille Stoelinga

Browse the full DSN paper archive.