Ferreira, D., & 		Lima, L.
2024 Dec  4.  A CSP Semantics for UML State Machines Aiming at Hidden Formal Methods Verification. Proceedings of the Brazilian Symposium on Formal Methods (SBMF). [Online] :