Analysis of a Kalman filter detector for atomic clock anomalies | IEEE Conference Publication | IEEE Xplore