Validation of UML and OCL Models by Automatic Snapshot Generation. - Martin Gogolla; Jörn Bohling; Mark Richters (UML, 2003)

Creating the OOSPICE model architecture - A case of reuse. - Brian Henderson-Sellers; Jörn Bohling; Terence P. Rout (Softw. Process. Improv. Pract., 2003)

Werkzeugunterstützung für die Validierung von UML- und OCL-Modellen durch automatische Snapshot-Generierung. - Martin Gogolla; Mark Richters; Jörn Bohling; Arne Lindow; Fabian Büttner; Paul Ziemann (Modellierung, 2004)

Validating UML and OCL models in USE by automatic snapshot generation. - Martin Gogolla; Jörn Bohling; Mark Richters (Softw. Syst. Model., 2005)