Using the Deep Space Atomic Clock for Navigation and Science | IEEE Journals & Magazine | IEEE Xplore