Design of INS aided receiver integrity monitoring algorithm (ARIM) for GNSS integrated navigation systems | IEEE Conference Publication | IEEE Xplore