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. http://147.213.75.17/ojs/index.php/cai/article/view/1682.