H. Pranevičius and R. Misevičienė, “Verification of business process workflows”, TEDE, vol. 18, no. 4, pp. 623-635, Dec. 2012.