USF-based FMEDA-driven Functional Safety Verification

Author(s):
Francesco Lertora, Frederico Ferlini