Killisperger, P. (2010) “Specifying OCL Constraints on Process Instantiations”, Electronic Communications of the EASST, 24. doi: 10.14279/tuj.eceasst.24.341.