Ragavan Manian Joanne Bechta Dugan David Coppit Kevin J. Sullivan Combining Various Solution Techniques for Dynamic Fault Tree Analysis of Computer Systems. 21-28 1998 conf/hase/1998 HASE http://www.computer.org/proceedings/hase/9221/92210021abs.htm db/conf/hase/hase1998.html#ManianDCS98