Ferreira, D., & 		Lima, L.
(2024).
 A CSP Semantics for UML State Machines Aiming at Hidden Formal Methods Verification.
In <em>Proceedings of the 27th Brazilian Symposium on Formal Methods</em>, (pp. 49-67). Porto Alegre: SBC.