95	  Said, Mar Yah and Butler, Michael and Snook, Colin  (2009) Language and Tool Support for Class and State Machine Refinement in UML-B.  [Rodin Archive]