Ferreira, D., & 		Lima, L.
2024 dez  4.  Verifying Integrated Designs of UML State Machines and Activities Using CSP. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :