Dependable computing: from concepts to design diversity (1986)

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