D. Ferreira and L. Lima.
" 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>, Vitória/ES, 2024, pp. 49-67.