A fault tree analysis strategy using binary decision diagrams. - Karen A. Reay; John D. Andrews (Reliab. Eng. Syst. Saf., 2002)