Pranevičius, H.; Misevičienė, R. Verification of Business Process Workflows. TEDE 2012, 18, 623-635.