A compositional semantics for dynamic fault trees in terms of interactive Markov chains (2007)

by H Boudali, P Crouzen, M Stoelinga
Venue:in: Proc. 5th Int. Conf. Automated Technology for Verification and Analysis (ATVA