Fault-tree construction and calculations on a microcomputer - Beckmann, Jeffery Linn (1985)