Time Determination for Spacecraft Users of the Navstar Global Positioning System (GPS) | IEEE Conference Publication | IEEE Xplore