Reduced Kalman Filter for RDSS/INS Integration Based on Time Differenced Carrier Phase | IEEE Conference Publication | IEEE Xplore