Carvalho, G., 		Dihego, J., & 		Sampaio, A.
(2024).
 An Integrated Framework for Analysing, Simulating and Testing UML Models.
In <em>Anais do XXVII Simpósio Brasileiro de Métodos Formais</em>, (pp. 86-104). Porto Alegre: SBC.