A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains.

Hichem Boudali, Pepijn Crouzen, Marille Stoelinga

Browse the full ATVA paper archive.