Derivation and Validation of a Higher-Fidelity GPS Correlator Model. - Blake Baker; Scott Martin (PLANS, 2025)