91	  Aziz, Benjamin and Arenas, Alvaro and Bicarregui, Juan and Ponsard, Christophe and Massonet, Philippe  (2009) From Goal-Oriented Requirements to Event-B Specifications.  In: First Nasa Formal Method Symposium, April 6 - 8, 2009 , Moffett Field, California .    (In Press)  
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>