Lopes, G., & Montecchi, L. 2021 nov 22. Characterizing and Injecting Faults in Executable Models Specified with fUML. Anais do Latin-American Symposium on Dependable Computing (LADC). [Online] :