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