1. Proving the Correctness of Multiprocess Programs;Lamport;IEEE Trans. Softw. Eng.,1977
2. RTCA, Inc. DO-178C. Software Considerations in Airborne Systems and Equipment Certification, RTCA 12-13-11, SC-205 http://www.rtca.org 2011
3. NextGen: Next Generation Air Transportation System. Implementation Plan http://www.faa.gov/nextgen/
4. Proc. of the 15th IEEE International Symposium on Fault-Tolerant Computing (FTCS-15) 1985 2 11
5. A. Avizienis J.-C. Laprie B. Randall Fundamental Concepts of Dependability 2001