USF-based FMEDA-driven Functional Safety Verification

Author(s):
Francesco Lertora, Mangesh Mukundrao Pande, Pete Hardee