373	  Edmunds, Andrew and Rezazadeh, Abdolbaghi and Butler, Michael  (2011)  From Event-B Models to Code: Sensing, Actuating, and the Environment.  In:  SBMF2011, Sept 2011, Sao Paulo, Brazil.     
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>