Avizienis, Algirdas, Jean-Claude Laprie, Brian Randell, and Carl E. Landwehr. "Basic Concepts and Taxonomy of Dependable and Secure Computing." IEEE Transactions on Dependable and Secure Computin 1, no. 1 (2004): 11-33.

"Basic Concepts and Taxonomy of Dependable and Secure Computing." IEEE Transactions on Dependable and Secure Computing 1, no. 1 (2004): 11-33.

Avizienis, Algirdas, and Jean-Claude Laprie. "Dependable Computing: From Concepts to Design Diversity." Proceeding of the IEEE 74 (1986).