Timing performance of various GPS receivers | IEEE Conference Publication | IEEE Xplore