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]
- Verifying the structure and behavior in UML/OCL models using satisfiability solversNils Przigoda, Mathias Soeken, Robert Wille, Rolf Drechsler. iet-cps, 1(1):49-59, 2016. [doi]
- Verifying UML/OCL Models Using Boolean SatisfiabilityMathias Soeken, Robert Wille, Mirco Kuhlmann, Martin Gogolla, Rolf Drechsler. mbmv 2010: 57-66