Martin Gogolla Mark Richters Jörn Bohling Arne Lindow Fabian Büttner Paul Ziemann Werkzeugunterstützung für die Validierung von UML- und OCL-Modellen durch automatische Snapshot-Generierung. 281-282 2004 conf/modellierung/2004 Modellierung db/conf/modellierung/modellierung2004.html#GogollaRBLBZ04