209	  Yeganefard, Sanaz and Butler, Michael and Rezazadeh, Abdolbaghi  (2010) Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B.  NASA Formal Methods Symposium 2010 .       (In Press)  
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>