Vesely, W. E. and Goldberg, F. F. and Roberts, N. H. and Haasl, D. F. (2024) Fault Tree Handbook. United States Nuclear Regulatory Commission.