Krieger, Matthias, and Alexander Knapp. “Executing Underspecified OCL Operation Contracts With a SAT Solver”.
Electronic Communications of the EASST
, vol. 15, Dec. 2008, doi:10.14279/tuj.eceasst.15.176.