A new approach to clock modeling and Kalman filter time and frequency prediction | IEEE Conference Publication | IEEE Xplore