Killisperger, P., Stumptner, M., Peters, G., & Stückl, T. (2010). Specifying OCL Constraints on Process Instantiations. Electronic Communications of the EASST, 24. https://doi.org/10.14279/tuj.eceasst.24.341