S. Julia, L. do Nascimento Vale, and L. M. Soares Passos, “Functional Testing Using Object WorkFlow Nets”, Comput. Inform., vol. 35, no. 3, pp. 719–743, Nov. 2016.