USF-based FMEDA-driven Functional Safety Verification Author(s): Francesco Lertora, Frederico Ferlini Download