1. [1] A. Avizienis, J. Laprie, and B. Randell, Fundamental Concepts of Computer System Dependability, IARP/IEEE-RAS Workshop on Robot Dependability, Technological Challenge of Dependable Robots in Human Environment, Seoul, Korea, May 2001.
2. [2] R.E. Ball, The Fundamentals of Aircraft Combat Survivability Analysis and Design, American Insitute of Aeronautics and Astronautics (AIAA), 1985.
3. [3] C.A.R. Hoare, Communicating Sequential Processes, Prentice Hall International Series in Computer Science, 1985.
4. [4] C.A.R. Hoare and J. He, Unifying Theories of Programming, Prentice Hall International Series in Computer Science, 1998.
5. [5] C.C. Morgan, Programming from Specifications, 2nd ed., Prentice-Hall, Englewood Cliffs, NJ, 1994.