{\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
Lawford, Mark, and Alan Wassyng. "Formal Verification of Nuclear Systems: Past, Present, and Future." \i Information & Security: An International Journal\i0  28, no. 2 (2012): 223-235.\par \par Wassyng, Alan, and Mark Lawford. \i Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project\i0  In \i  FME 2003: International Symposium of Formal Methods Europe Proceedings\i0 . Pisa, Italy, 2003.\par \par Lawford, Mark, Jeff McDougall, Peter Froebel, and Greg Moum. \i Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software\i0  In \i  Algebraic Methodology and Software Technology\i0 ., 2000.\par \par }