1. Basic concepts and taxonomy of dependable and secure computing;Avizienis;IEEE Transactions on Dependable and Secure Computing,2004
2. Fault-tolerance: A property that ensures constant availability of digital system;Avizienis;IEEE Transactions on Computers,1978
3. Laprie JC. Dependable computing and fault tolerance: Concepts and terminology. Reprinting from FTCS-15, 1996; 2���11.