Krieger, M. and Knapp, A. (2008) “Executing Underspecified OCL Operation Contracts with a SAT Solver”, Electronic Communications of the EASST, 15. doi: 10.14279/tuj.eceasst.15.176.