L. Passos, T. Magalhães Júnior, M. Maia, and S. Julia. "Verification of Workflow Specifications in UML Using Automated Transformations to WF-nets", in Anais do IX Simpósio Brasileiro de Sistemas de Informação, João Pessoa, 2013, pp. 674-685, doi: https://doi.org/10.5753/sbsi.2013.5731.