PASSOS, Lígia Maria Soares; MAGALHÃES JÚNIOR, Tarcísio Abadio de; MAIA, Marcelo de Almeida; JULIA, Stéphane. Verification of Workflow Specifications in UML Using Automated Transformations to WF-nets. In: SIMPÓSIO BRASILEIRO DE SISTEMAS DE INFORMAÇÃO (SBSI), 9. , 2013, João Pessoa. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2013 . p. 674-685. DOI: https://doi.org/10.5753/sbsi.2013.5731.