Killisperger, Peter, Markus Stumptner, Georg Peters, and Thomas Stückl. 2010. “Specifying OCL Constraints on Process Instantiations”. Electronic Communications of the EASST 24 (January). https://doi.org/10.14279/tuj.eceasst.24.341.