Verification of Workflow Specifications in UML Using Automated Transformations to WF-nets. - Lígia Maria Soares Passos; Tarcísio Abadio de Magalhães Júnior; Marcelo de Almeida Maia; Stéphane Julia (SBSI, 2013)