Krieger, M.; Knapp, A. Executing Underspecified OCL Operation Contracts With a SAT Solver. eceasst 2008, 15.