1. Roberts NH, Vesely WE, Haasl DF, Goldberg FF. Fault tree handbook, NUREG-0492, US NRC, Washington; 1981.
2. Vesely W, Dugan J, Fragola J, Minarick J. Railsback J. Fault Tree handbook with aerospace applications, National Aeronautics and Space Administration, NASA; 2002.
3. Interim reliability evaluation program procedures guide, NUREG/CR-2728, US NRC; 1983.
4. Probabilistic safety analysis procedures guide, NUREG/CR-2815, US NRC; 1985.
5. Probabilistic risk assessment procedures guide, NUREG/CR-2300, US NRC, Washington DC, vol. 1,2, April; 1982.