Passos, Lígia Maria, 		Magalhães Júnior, Tarcísio, 		Maia, Marcelo, E 		Julia, Stéphane.
" Verification of Workflow Specifications in UML Using Automated Transformations to WF-nets" <em>Anais do Simpósio Brasileiro de Sistemas de Informação (SBSI)</em> [Online], (22 maio 2013)