292	  Fathabadi, Asieh Salehi and Rezazadeh, Abdolbaghi and Butler, Michael  (2011) Applying Atomicity and Model Decomposition to a Space Craft System in Event-B.  In: THIRD NASA FORMAL METHODS SYMPOSIUM.    (In Press)