Passos, L., 		Magalhães Júnior, T., 		Maia, M., & 		Julia, S.
(2013).
Verification of Workflow Specifications in UML Using Automated Transformations to WF-nets.
In <em>Anais do IX Simpósio Brasileiro de Sistemas de Informação</em>, (pp. 674-685). Porto Alegre: SBC.
doi:10.5753/sbsi.2013.5731