"292","Applying Atomicity and Model Decomposition to a Space Craft System in Event-B","","http://deploy-eprints.ecs.soton.ac.uk/292/","Fathabadi, Asieh Salehi and Rezazadeh, Abdolbaghi and Butler, Michael","UNSPECIFIED","       <span class=\"person_name\">Fathabadi, Asieh Salehi</span> and <span class=\"person_name\">Rezazadeh, Abdolbaghi</span> and <span class=\"person_name\">Butler, Michael</span>     (2011)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/292/\"><em>Applying Atomicity and Model Decomposition to a Space Craft System in Event-B.</em></a>       In: THIRD NASA FORMAL METHODS SYMPOSIUM.         (In Press)   ","","2011-02"