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