172	  Iliasov, Alexei and Troubitsyna, Elena and Laibinis, Linas and Romanovsky, Alexander and Varpaaniemi, Kimmo and Ilic, Dubravka and Latvala, Timo  (2010) Supporting Reuse in Event B Development: Modularisation Approach.  In: Abstract State Machines (ASM), Alloy, B and Z Conference (ABZ 2010), February 22-25, 2010, Orford, Québec, Canada.     
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>