Characterizing and Injecting Faults in Executable Models Specified with fUML. - Guilherme W. Lopes; Leonardo Montecchi (LADC, 2021)