"Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models."

Mathias Soeken, Robert Wille, Rolf Drechsler (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics