Global navigation satellite systems (GNSSs) are widely used for positioning and timing. The systems are used by almost every land, air, and water vessel to help navigate. The increasing number of private and commercial unmanned aerial vehicles (UAVs) and the upcoming of autonomous driving cars will increase the number of systems relying on GNSS. Therefore, it is getting more and more important to ensure the availability and integrity of the position, velocity, and time (PVT) solution, even in the presence of interference, jamming, or spoofing. Due to the low power of the received GNSS signal, it is extremely vulnerable to interference (Borio et al., 2016;Luo et al., 2003). In addition, new applications demand a higher precision of the PVT solution. This demand can be fulfilled by precise point positioning (PPP) and real-time kinematic (RTK) techniques. One key element of these approaches is to include carrier-phase measurements in the PVT estimation. The carrier-phase measurements deliver much more accurate range measurements since the wavelength of a GNSS carrier (e.g., 19 cm for GPS L1) is much smaller