Julia, Stéphane, Liliane do Nascimento Vale, and Lígia Maria Soares Passos. “Functional Testing Using Object WorkFlow Nets”. Computing and Informatics 35, no. 3 (November 2, 2016): 719–743. Accessed April 30, 2025. https://www.cai.sk/ojs/index.php/cai/article/view/1682.