Algirdas Avizienis Jean-Claude Laprie Brian Randell Carl E. Landwehr Basic Concepts and Taxonomy of Dependable and Secure Computing. 11-33 2004 1 IEEE Trans. Dependable Sec. Comput. 1 http://csdl.computer.org/comp/trans/tq/2004/01/q0011abs.htm db/journals/tdsc/tdsc1.html#AvizienisLRL04