Savicks, Vitaly and Snook, Colin and Butler, Michael  (2009) Animation of UML-B State-machines.  In: Rodin workshop, 2009, Dusseldorf.     

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