Automated fault analysis: From requirements to implementation | IEEE Conference Publication | IEEE Xplore