%A Asieh Salehi Fathabadi
%A Abdolbaghi Rezazadeh
%A Michael Butler
%T Applying Atomicity and Model Decomposition to a Space Craft System in Event-B
%D 2011
%K Event-B, Refinement, Atomicity Decomposition, Structured Event Refinement, Model Decomposition, The Mercury Planetary Orbiter(MPO)
%L deploy292

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>