1. Avizienis, A., Laprie, J.-C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing 1(1), 11–33 (2004)
2. Boeing, Statistical Summary of Commercial Jet Airplane Accidents Worldwide Operations 1959 – 2010. Aviation Safety, Boeing Commercial Airplanes, Seattle, Washington, U.S.A (June 2011)
3. Briere, D., Traverse, P.: Airbus A320/A330/A340 electrical flight controls — a family of fault-tolerant systems. In: Proc. 23rd IEEE Int. Symp. on Fault-Tolerant Computing (FTCS-23), pp. 616–623 (June 1993)
4. Butler, R.W., Finelli, G.B.: The infeasibility of quantifying the reliability of life-critical real-time software. IEEE Transactions on Software Engineering 19(1), 3–12 (1993)
5. FAA Airworthiness Directive database,
http://rgl.faa.gov/Regulatory_and_Guidance_Library/rgAD.nsf/MainFrame