Checking Consistency in UML Diagramms: Classes and State Machines. - Holger Rasch; Heike Wehrheim (FMOODS, 2003)

Linking CSP-OZ with UML and Java: A Case Study. - Michael Möller 002; Ernst-Rüdiger Olderog; Holger Rasch; Heike Wehrheim (IFM, 2004)

Checking the Validity of Scenarios in UML Models. - Holger Rasch; Heike Wehrheim (FMOODS, 2005)

Integrating a formal method into a software engineering process with UML and Java. - Michael Möller 002; Ernst-Rüdiger Olderog; Holger Rasch; Heike Wehrheim (Formal Aspects Comput., 2008)