Carvalho, Gustavo, 		Dihego, José, E 		Sampaio, Augusto.
" An Integrated Framework for Analysing, Simulating and Testing UML Models" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (4 dezembro 2024)