DYNAMIC FAULT TREES

Ragavan Manian, Joanne Bechta Dugan, David Coppit, and Kevin J. Sullivan. Combining various solution techniques for dynamic fault tree analysis of computer systems. In Proceedings Third IEEE International High-Assurance Systems Engineering Symposium. – Washington, D.C., November 1998. Pages 21–28. – www.cs.virginia.edu/~ftree/2003-redesign/pages/Research/papers/combining_solution_techniques.pdf
Zhihua Tang and Joanne Bechta Dugan. Minimal cut set/sequence generation for dynamic fault trees. In Annual Reliability and Maintainability Symposium Proceedings. – LA, January 2004. – www.cs.virginia.edu/~ftree/2003-redesign/pages/Research/papers/RAMS120_MCS.pdf