1. Haasl, D., Roberts, N., Vesely, W., Goldberg, F. Fault Tree Handbook. Fault Tree Handbook, Systems and Reliability Research, vol. 88. Office of Nuclear Regulatory, US Nuclear Regulatory Commission Research (1981)
2. ARP4754: Certification Considerations for Highly-Integrated or Complex Aircraft Systems. Aerospace Recommended Practice (SAE International). Warrendale, PA (December 1994)
3. ARP4761: Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems. Aerospace Recommended Practice (SAE International). Warrendale, PA (December 1996)
4. FAR25.1309: Federal Aviation Regulations FAR Part 25.1309: System Design and Analysis. Advisory Circular (FAA, USA) (1977)
5. Haverkort B.R.: Markovian models for performance and dependability evaluation, pp. 38–83. Springer, New York (2002)