"95","Language and Tool Support for Class and State Machine Refinement in UML-B","","http://deploy-eprints.ecs.soton.ac.uk/95/","Said, Mar Yah and Butler, Michael and Snook, Colin","UNSPECIFIED","       <span class=\"person_name\">Said, Mar Yah</span> and <span class=\"person_name\">Butler, Michael</span> and <span class=\"person_name\">Snook, Colin</span>     (2009)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/95/\"><em>Language and Tool Support for Class and State Machine Refinement in UML-B.</em></a>       [Rodin Archive]           ","mys05r@ecs.soton.ac.uk,mjb@ecs.soton.ac.uk,cfs@ecs.soton.ac.uk","2009-04"