NAVSTAR: Global positioning system—Ten years later | IEEE Journals & Magazine | IEEE Xplore