Application of Kalman filtering techniques to the precision clock with non-constant aging | IEEE Conference Publication | IEEE Xplore