Julia, Stéphane, Liliane do Nascimento Vale, and Lígia Maria Soares Passos. 2016. “Functional Testing Using Object WorkFlow Nets”. COMPUTING AND INFORMATICS 35 (3):719-43. https://www.cai.sk/ojs/index.php/cai/article/view/1682.