Julia, S., Vale, L. d. N., & Passos, L. M. S. (2016). Functional Testing Using Object WorkFlow Nets. Computing and Informatics, 35(3), 719–743. https://cai.type.sk/content/2016/3/functional-testing-using-object-workflow-nets/