J. H. Rife, "Simultaneous position estimation and ambiguity resolution (SPEAR) for high-integrity carrier-phase navigation with robustness to tracking loss," 2014 IEEE/ION Position, Location and Navigation Symposium - PLANS 2014, Monterey, CA, 2014, pp. 692-700. doi: 10.1109/PLANS.2014.6851434.