Goal-based fault tolerance for space systems using the mission data system | IEEE Conference Publication | IEEE Xplore