Pranevičius, H., and R. Misevičienė. “Verification of Business Process Workflows”. Technological and Economic Development of Economy, vol. 18, no. 4, Dec. 2012, pp. 623-35, doi:10.3846/20294913.2012.740517.