Performance-Driven Design of Carrier Phase Differential Navigation Frameworks With Megaconstellation LEO Satellites | IEEE Journals & Magazine | IEEE Xplore