1. Reliability and risk assessment;Andrews,1993
2. Binary decision diagrams;Akers;IEEE Trans Comput,1978
3. Graph-based algorithms for Boolean function manipulation;Bryant;IEEE Trans Comput,1986
4. Reliability, availability, maintainability and safety assessment;Villemeur,1991
5. The cause/consequence diagram method as a basis for quantitative accident analysis;Nielsen,1971