Bisztray, D., & Heckel, R. (2007). Rule-Level Verification of Business Process Transformations using CSP. Electronic Communications of the EASST, 6. https://doi.org/10.14279/tuj.eceasst.6.71