Real-time differential carrier phase GPS-aided INS | IEEE Journals & Magazine | IEEE Xplore