Bisztray, D.; Heckel, R. Rule-Level Verification of Business Process Transformations Using CSP. ECEASST 2007, 6.