Combining Various Solution Techniques for Dynamic Fault Tree Analysis of Computer Systems. - Ragavan Manian; Joanne Bechta Dugan; David Coppit; Kevin J. Sullivan (HASE, 1998)