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