Exploration of Safing Event Models for Interplanetary Spacecraft | IEEE Conference Publication | IEEE Xplore