Fundamental Concepts of Dependability (2001)

by A Avizienis, J-C Laprie, B Randell