A model-based thruster leakage monitor for the Cassini spacecraft | IEEE Conference Publication | IEEE Xplore