Ferreira, D., & 		Lima, L.
(2024).
 A CSP Semantics for UML State Machines Aiming at Hidden Formal Methods Verification.
In <em>Anais do XXVII Simpósio Brasileiro de Métodos Formais</em>, (pp. 49-67). Porto Alegre: SBC.