Hallerstede, Stefan and Leuschel, Michael and Plagge, Daniel   Refinement-Animation for Event-B - Towards a Method of Validation.   In:  Proceedings ABZ 2010.   LNCS .  Springer-Verlag.     (In Press)  

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