Dependability Assessment using Binary Decision Diagrams (BDDs). - Stacy A. Doyle; Joanne Bechta Dugan (FTCS, 1995)