Navigation With Cellular CDMA Signals—Part I: Signal Modeling and Software-Defined Receiver Design | IEEE Journals & Magazine | IEEE Xplore