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