An Automatic Approach to Perform FMEDA Safety Assessment on Hardware Designs | IEEE Conference Publication | IEEE Xplore