{\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
"Deployment of Formal Methods in Industry: the Legacy of the FP7 ICT DEPLOY Integrated Project." \i ACM SIGSOFT Software Engineering Notes\i0  37, no. 5 (2012): 1-4.\par \par "Intrusion-Avoidance via System Diversity." \i Information & Security: An International Journal\i0  28, no. 1 (2012): 154-158.\par \par "\i Developing Mode-Rich Satellite Software by Refinement in Event-B\i0 ." In \i Formal Methods for Industrial Critical Systems, FMICS 2010\i0 . Springer, 2010.\par \par Butler, Michael, Cliff B. Jones, Alexander Romanovsky, and Elena Troubitsyna. \i Rigorous Development of Complex Fault-Tolerant Systems\i0 . Berlin: Springer, 2006.\par \par Gorbenko, Anatoly, Peter Popov, Alexander Romanovsky, Artem Boyarchuk, and Vyacheslav Kharchenko. "Development of Dependable Web Services out of Undependable Web Components." \i Technical Report CS-TR (Newcastle: School of Computing Science\i0  (2004).\par \par }