Fathabadi, Asieh Salehi and Butler, Michael  (2010) Applying Event-B Atomicity Decomposition to a Multi Media Protocol.  In: FMCO Formal Methods for Components and Objects.     

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