Pranevičius, H. and Misevičienė, R. 2012. Verification of business process workflows. Technological and Economic Development of Economy. 18, 4 (Dec. 2012), 623-635. DOI:https://doi.org/10.3846/20294913.2012.740517.