{\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
Pereverzeva, Inna, Elena Troubitsyna, and Linas Laibinis. \i Formal Goal-Oriented Development of Resilient MAS in Event-B\i0  In \i Proceedings of 17th International Conference on Reliable Software Technologies\i0 . Berlin, Heidelberg: Springer-Verlag, 2012.\par \par Tarasyuk, Anton, Elena Troubitsyna, and Linas Laibinis. \i Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B\i0  In \i Proceedings of the International Conference on Integrated Formal Methods, IFM 2012\i0 ., 2012.\par \par 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 }