Passos, Lígia Maria, 		Magalhães Júnior, Tarcísio, 		Maia, Marcelo, AND 		Julia, Stéphane.
" Verification of Workflow Specifications in UML Using Automated Transformations to WF-nets" <em>Proceedings of the Brazilian Symposium on Information Systems (SBSI)</em> [Online], (22 May 2013)