Ferreira, D., & 		Lima, L.
(2024).
 Verifying Integrated Designs of UML State Machines and Activities Using CSP.
In <em>Anais do XXVII Simpósio Brasileiro de Métodos Formais</em>, (pp. 68-85). Porto Alegre: SBC.