R. Hauser, M. Friess, J. Kuster, and J. Vanhatalo, “An Incremental Approach to the Analysis and Transformation of Workflows Using Region Trees,” IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews), vol. 38, no. 3, pp. 347–359, 2008.