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 <em>Anais do IX Simpósio Brasileiro de Sistemas de Informação</em>, João Pessoa, 2013, pp. 674-685, doi: <a href="https://doi.org/10.5753/sbsi.2013.5731">https://doi.org/10.5753/sbsi.2013.5731</a>.