Safety assurance techniques in the aviation industry and their applications to rail | IET Conference Publication | IEEE Xplore