Model-based anomaly management for spacecraft mission operations at the NASA Ames Space Technology Center | IEEE Conference Publication | IEEE Xplore