425	  Fathabadi, Asieh Salehi and Butler, Michael and Rezazadeh, Abdolbaghi  (2012) A Systematic Approach to Atomicity Decomposition in Event-B.  In: SEFM.     
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>