Automating Software FMEA via Formal Analysis of Dependence Relations | IEEE Conference Publication | IEEE Xplore