A derivation of the long-term degradation of a pulsed atomic frequency standard from a control-loop model | IEEE Journals & Magazine | IEEE Xplore