Krieger, M.; Brucker, A. Extending OCL Operation Contracts With Objective Functions. eceasst 2011, 44.