Ferreira, D., & 		Lima, L.
2024 dez  4.  A CSP Semantics for UML State Machines Aiming at Hidden Formal Methods Verification. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :