Ferreira, Diego, and Lucas Lima.
" A CSP Semantics for UML State Machines Aiming at Hidden Formal Methods Verification." <em>Anais do XXVII Simpósio Brasileiro de Métodos Formais,
Vitória/ES, 2024</em>. SBC, 2024,  
pp.49-67.