1. Fault Tree Handbook, U.S. Nuclear Regulatory Commission, NUREG-0492;Vesely,1981
2. Zero-suppressed BDDs for set manipulation in combinatorial problems;Minato,1993
3. A fast BDD algorithm for the reliability analysis of large coherent systems;Jung;Reliab. Eng. Syst. Saf.,2004
4. ZBDD algorithm features for an efficient probabilistic safety assessment;Jung;Nucl. Eng. Des.,2009
5. Representation of switching circuits by binary-decision programs;Lee;Bell System Technical Journal,1959