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