W. E. Vesely, F. F. Goldberg, N. H. Roberts, and D. F. Haasl: Fault Tree Handbook. Systems and Reliability Research : U.S. Nuclear Regulatory Commission : Washington, D.C., 1981. (NUREG-0492). www.nrc.gov/reading-rm/doc-collections/nuregs/staff/sr0492/