"Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques." Fundamenta Informaticae 97, no. 1-2 (2009): 41-91.

Avizienis, Algirdas, Jean-Claude Laprie, Brian Randell, and Carl E. Landwehr. "Basic Concepts and Taxonomy of Dependable and Secure Computing." IEEE Transactions on Dependable and Secure Computin 1, no. 1 (2004): 11-33.

"Basic Concepts and Taxonomy of Dependable and Secure Computing." IEEE Transactions on Dependable and Secure Computing 1, no. 1 (2004): 11-33.

Avizzienis, Algirdas, ean-Claude Laprie, Brian Randell, and Carl Landwehr. "Basic Concepts and Taxonomy of Dependable and Secure Computing." IEEE Transactions on De¬pendable and Secure Computing 1, no. 1 (2002): 11-33.

Dobson, John E., and Brian Randell. Building Reliable Secure Computing Systems out of Unreliable Insecure Components In IEEE Symposium on Security and Privacy . Oakland, California, USA, 1986.