360	  Iliasov, Alexei and Romanovsky, Alexander  (2011) Scaling Event-B to industrial applications: the role of formal design decomposition (Industry Paper).  In: 22nd IEEE International Symposium on Software Reliability Engineering, Nov 29 - Dec 2, 2011, Hiroshima, Japan.     
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>