"That one's gotta work" Mars Odyssey's use of a fault tree driven risk assessment process | IEEE Conference Publication | IEEE Xplore