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