Basic concepts and taxonomy of dependable and secure computing (2004)

by Algirdas Avizienis, Jean-claude Laprie, Brian Randell, Carl Landwehr
Venue:IEEE TDSC