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.