{\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
"Formal Verification of Nuclear Systems: Past, Present, and Future." \i Information & Security: An International Journal\i0  28, no. 2 (2012): 223-235.\par \par \i Software certification experience in the canadian nuclear industry: lessons for the future\i0  In \i Software certification experience in the canadian nuclear industry: lessons for the future\i0 ., 2011.\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 }