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