Passos, Lígia Maria, Tarcísio Abadio de Magalhães Júnior, Marcelo de Almeida Maia, and Stéphane Julia.
"Verification of Workflow Specifications in UML Using Automated Transformations to WF-nets." <em>Anais do IX Simpósio Brasileiro de Sistemas de Informação,
João Pessoa, 2013</em>. SBC, 2013,  
pp.674-685.