The following publications are possibly variants of this publication:
- Towards a Base Model for UML and OCL VerificationFrank Hilken, Philipp Niemann, Robert Wille, Martin Gogolla. MoDELS 2014: 59-68 [doi]
- Verifying UML/OCL models using Boolean satisfiabilityMathias Soeken, Robert Wille, Mirco Kuhlmann, Martin Gogolla, Rolf Drechsler. date 2010: 1341-1344 [doi]
- Encoding OCL Data Types for SAT-Based Verification of UML/OCL ModelsMathias Soeken, Robert Wille, Rolf Drechsler. tap 2011: 152-170 [doi]
- Checking concurrent behavior in UML/OCL modelsNils Przigoda, Christoph Hilken, Robert Wille, Jan Peleska, Rolf Drechsler. MoDELS 2015: 176-185 [doi]
- Towards a Developer-Oriented Process for Verifying Behavioral Properties in UML and OCL ModelsKhanh-Hoang Doan, Martin Gogolla, Frank Hilken. staf 2016: 207-220 [doi]