On ionosphere-induced error detection for GNSS integrity monitoring | IEEE Conference Publication | IEEE Xplore