Binary decision diagrams for fault tree analysis. - Roslyn M. Sinnamon (1996)