{\rtf1\ansi\deff0\deftab360

{\fonttbl
{\f0\fswiss\fcharset0 Arial}
{\f1\froman\fcharset0 Times New Roman}
{\f2\fswiss\fcharset0 Verdana}
{\f3\froman\fcharset2 Symbol}
}

{\colortbl;
\red0\green0\blue0;
}

{\info
{\author Biblio 7.x}{\operator }{\title Biblio RTF Export}}

\f1\fs24
\paperw11907\paperh16839
\pgncont\pgndec\pgnstarts1\pgnrestart
"Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques." \i Fundamenta Informaticae\i0  97, no. 1-2 (2009): 41-91.\par \par "Basic Concepts and Taxonomy of Dependable and Secure Computing." \i IEEE Transactions on Dependable and Secure Computing\i0  1, no. 1 (2004): 11-33.\par \par Avizienis, Algirdas, Jean-Claude Laprie, Brian Randell, and Carl E. Landwehr. "Basic Concepts and Taxonomy of Dependable and Secure Computing." \i IEEE Transactions on Dependable and Secure Computin\i0  1, no. 1 (2004): 11-33.\par \par Avizzienis, Algirdas, ean-Claude Laprie, Brian Randell, and Carl Landwehr. "Basic Concepts and Taxonomy of Dependable and Secure Computing." \i IEEE Transactions on De\'acpendable and Secure Computing\i0  1, no. 1 (2002): 11-33.\par \par Dobson, John E., and Brian Randell. \i Building Reliable Secure Computing Systems out of Unreliable Insecure Components\i0  In \i IEEE Symposium on Security and Privacy \i0 . Oakland, California, USA, 1986.\par \par }