Optimizing GNSS Time-Differenced Carrier Phase Measurements for High-Integrity Inertial Navigation + GNSS Sensor Fusion without Ambiguity Resolution | IEEE Conference Publication | IEEE Xplore