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