M. Krieger and A. Knapp, “Executing Underspecified OCL Operation Contracts with a SAT Solver”, eceasst, vol. 15, Dec. 2008.