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