1. A time dependent methodology for fault tree evaluation;Vesely;Nuclear Design and Engineering,1970
2. Binary decision diagrams;Akers;IEEE Transactions on Computers,1978
3. Rauzy AA. Brief introduction to binary decision diagrams. European Journal of Automation, 1996;30(8):1033–50.
4. New algorithms for fault tree analysis;Rauzy;Reliability Engineering and System Safety,1993
5. Sinnamon RM, Andrews JD. Quantitative fault tree analysis using binary decision diagrams. European Journal of Automation 1996;30(8):1051–71.