FMEDA-Driven Digital Safety Analysis and Verifications