Krieger, M., & Brucker, A. (2011). Extending OCL Operation Contracts with Objective Functions. Electronic Communications of the EASST, 44. https://doi.org/10.14279/tuj.eceasst.44.662