Ferreira, Diego, E 		Lima, Lucas.
" A CSP Semantics for UML State Machines Aiming at Hidden Formal Methods Verification" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (4 dezembro 2024)