Gustavo Carvalho, José Dihego, and Augusto Sampaio. 2024.
 An Integrated Framework for Analysing, Simulating and Testing UML Models. In <em>Anais do XXVII Simpósio Brasileiro de Métodos Formais</em>, dezembro 04, 2024, Vitória/ES, Brasil. SBC, Porto Alegre, Brasil, 86-104.