Carvalho, G., 		Dihego, J., & 		Sampaio, A.
2024 Dec  4.  An Integrated Framework for Analysing, Simulating and Testing UML Models. Proceedings of the Brazilian Symposium on Formal Methods (SBMF). [Online] :