Dependable computing: from concepts to design diversity’, (1986)

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