D. Ferreira and L. Lima.
" Verifying Integrated Designs of UML State Machines and Activities Using CSP", in <em>Anais do XXVII Simpósio Brasileiro de Métodos Formais</em>, Vitória/ES, 2024, pp. 68-85.