An optimal modification of a Kalman filter for time scales | IEEE Conference Publication | IEEE Xplore