D. Bisztray and R. Heckel, “Rule-Level Verification of Business Process Transformations using CSP”, ECEASST, vol. 6, Jun. 2007.