PRANEVIČIUS, H.; MISEVIČIENĖ, R. Verification of business process workflows. Technological and Economic Development of Economy, v. 18, n. 4, p. 623-635, 20 Dec. 2012.