On-board preventive maintenance for long-life deep-space missions: a model-based analysis | IEEE Conference Publication | IEEE Xplore