Killisperger, P.; Stumptner, M.; Peters, G.; Stückl, T. Specifying OCL Constraints on Process Instantiations. ECEASST 2010, 24.