P. Killisperger, M. Stumptner, G. Peters, and T. Stückl, “Specifying OCL Constraints on Process Instantiations”, eceasst, vol. 24, Jan. 2010.