Bisztray, Dánes, and Reiko Heckel. 2007. “Rule-Level Verification of Business Process Transformations Using CSP”. Electronic Communications of the EASST 6 (June). https://doi.org/10.14279/tuj.eceasst.6.71.