Pranevičius, Henrikas, and Regina Misevičienė. 2012. “Verification of Business Process Workflows”. Technological and Economic Development of Economy 18 (4):623-35. https://doi.org/10.3846/20294913.2012.740517.