Lie Group Based Approach for GNSS Signal Phase Modeling. - Esteban Morales-Aguirre; Samy Labsir; Benoît Priot; Clément Gazzino; Gaël Pagès (ICL-GNSS, 2025)