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