Time-Differenced Carrier Phase Measurements for Tightly Coupled GPS/INS Integration | IEEE Conference Publication | IEEE Xplore