Cesium Clocks Deployed in the Global Positioning System: Design and Performance Data | IEEE Conference Publication | IEEE Xplore