408	  Pereverzeva, Inna and Troubitsyna, Elena and Laibinis, Linas  (2012) Formal Goal-Oriented Development of Resilient Multi-Agent Systems in Event-B.  In: 17th International Conference on Reliable Soft- ware Technologies (Ada-Europe 2012), Stokholm, Sweden.     
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>