Transformation of B specifications into UML class diagrams and state machines. - Houda Fekih; Leila Jemni Ben Ayed; Stephan Merz (SAC, 2006)