455	  Edmunds, Andrew and Colley, John and Butler, Michael   Building on the DEPLOY legacy: code generation and simulation.  In: DS-Event-B-2012: Workshop on the experience of and advances in developing dependable systems in Event-B .     
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>