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