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