{\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
Prokhorova, Yuliya, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, and Timo Latvala. \i Derivation and Formal Verification of a Mode Logic for Layered Control Systems\i0  In \i Proceedings of the 18th Asia-Pacific Software Engineering Conference, APSEC 2011\i0 . IEEE, 2011.\par \par Iliasov, Alexei, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, and Timo Latvala. "\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 }