Lígia Maria Passos, Tarcísio Magalhães Júnior, Marcelo Maia, and Stéphane Julia. 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>, maio 22, 2013, João Pessoa, Brasil. SBC, Porto Alegre, Brasil, 674-685. DOI: <a href="https://doi.org/10.5753/sbsi.2013.5731">https://doi.org/10.5753/sbsi.2013.5731</a>.