Model-based fault management for spacecraft autonomy | IEEE Conference Publication | IEEE Xplore