@misc{deploy213,
           title = {An Event-B model of the Attitude and Orbit Control System},
          author = {Alexei Iliasov and Linas Laibinis and Elena Troubitsyna},
            year = {2010},
             url = {http://deploy-eprints.ecs.soton.ac.uk/213/}
}

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