Julia, S., do Nascimento Vale, L., & Soares Passos, L. M. (2016). Functional Testing Using Object WorkFlow Nets. COMPUTING AND INFORMATICS, 35(3), 719–743. Retrieved from https://www.cai.sk/ojs/index.php/cai/article/view/1682