Tightly coupled GPS/INS integration for differential carrier phase navigation systems using decentralized estimation | IEEE Conference Publication | IEEE Xplore