Automating the failure modes and effects analysis of safety critical systems | IEEE Conference Publication | IEEE Xplore