A Model-Based Monitoring and Diagnosis System for a Space-Based Astrometry Mission. - Aleksei Pavlov; Sven Helmer; Guido Moerkotte (DEXA, 2005)