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