Temperature and Aging Compensated Kalman Filter Algorithm for High-Precision Timing System of Microsatellites | IEEE Conference Publication | IEEE Xplore