Model-driven automated software FMEA | IEEE Conference Publication | IEEE Xplore