The Curiosity Mars Rover's Fault Protection Engine | IEEE Conference Publication | IEEE Xplore