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