1. Assessment of large automatically generated fault trees by means of binary decision diagrams;Rauzy;In: Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability,2007
2. Vesely WE. Analysis of fault trees by kinetic tree theory. Idaho Nuclear Corporation, Report IN-1330 1969.
3. Graph-based algorithms for Boolean function manipulation;Bryant;IEEE Transactions on Computers,1986
4. A brief introduction to binary decision diagrams;Rauzy;European Journal of Automation,1996
5. New algorithms for fault trees analysis;Rauzy;Reliability Engineering and System safety,1993