Julia, S.; do Nascimento Vale, L.; Soares Passos, L. M. Functional Testing Using Object WorkFlow Nets. Comput. Inform. 2016, 35, 719-743.