PRANEVIČIUS, Henrikas; MISEVIČIENĖ, Regina. Verification of business process workflows. Technological and Economic Development of Economy, [S. l.], v. 18, n. 4, p. 623–635, 2012. DOI: 10.3846/20294913.2012.740517. Disponível em: https://journals.vilniustech.lt/index.php/TEDE/article/view/4727. Acesso em: 15 may. 2025.