Clocks and timing in the NASA deep space network | IEEE Conference Publication | IEEE Xplore