Said, Mar Yah and Butler, Michael and Snook, Colin  (2009) Class and State Machine Refinement in UML-B.  In:  Integration of Model-based Formal Methods and Tools (workshop at iFM 2009).