The following publications are possibly variants of this publication:
- Werkzeugunterstützung für die Validierung von UML- und OCL-Modellen durch automatische Snapshot-GenerierungMartin Gogolla, Mark Richters, Jörn Bohling, Arne Lindow, Fabian Büttner, Paul Ziemann. modellierung 2004: 281-282
- Verifying UML/OCL models using Boolean satisfiabilityMathias Soeken, Robert Wille, Mirco Kuhlmann, Martin Gogolla, Rolf Drechsler. date 2010: 1341-1344 [doi]
- Validating UML and OCL models in USE by automatic snapshot generationMartin Gogolla, Jörn Bohling, Mark Richters. SoSyM, 4(4):386-398, 2005. [doi]