Characterizing and Injecting Faults in Executable Models Specified with fUML | IEEE Conference Publication | IEEE Xplore