M. Krieger and A. Brucker, “Extending OCL Operation Contracts with Objective Functions”, eceasst, vol. 44, Oct. 2011.