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