Ferreira, D., & 		Lima, L.
2024 Dec  4.  Verifying Integrated Designs of UML State Machines and Activities Using CSP. Proceedings of the Brazilian Symposium on Formal Methods (SBMF). [Online] :