Dependable computing: From concepts to design diversity (1986)

by A Avizienis, J-C Laprie
Venue:Proceedings of the IEEE