Gravity model error considerations for high-integrity GNSS-aided INS operations | IEEE Conference Publication | IEEE Xplore