The following publications are possibly variants of this publication:
- Verifying UML/OCL models using Boolean satisfiabilityMathias Soeken, Robert Wille, Mirco Kuhlmann, Martin Gogolla, Rolf Drechsler. date 2010: 1341-1344 [doi]
- Automated Validation & Verification of UML/OCL Models Using Satisfiability SolversNils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler. Springer, 2018. [doi]
- Verifying UML/OCL Models Using Boolean SatisfiabilityMathias Soeken, Robert Wille, Mirco Kuhlmann, Martin Gogolla, Rolf Drechsler. mbmv 2010: 57-66
- Encoding OCL Data Types for SAT-Based Verification of UML/OCL ModelsMathias Soeken, Robert Wille, Rolf Drechsler. tap 2011: 152-170 [doi]