Carvalho, G., 		Dihego, J., & 		Sampaio, A.
2024 dez  4.  An Integrated Framework for Analysing, Simulating and Testing UML Models. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :