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

by Algirdas Avizienis, Jean-claude Laprie, Brian R, Carl L, Senior Member
Venue:IEEE TDSC