Miniaturized atomic clocks with high frequency stability as local oscillators in global navigation satellite system (GNSS) receivers promise to improve real-time kinematic applications. For a number of years, such oscillators ...