Passos, L., 		Magalhães Júnior, T., 		Maia, M., & 		Julia, S.
2013 mai 22.  Verification of Workflow Specifications in UML Using Automated Transformations to WF-nets. Anais do Simpósio Brasileiro de Sistemas de Informação (SBSI). [Online] :