Lopes, Guilherme, E Montecchi, Leonardo. " Characterizing and Injecting Faults in Executable Models Specified with fUML" Anais do Latin-American Symposium on Dependable Computing (LADC) [Online], (22 novembro 2021)