GNSS Integrity Monitoring in Case of a Priori Uncertainty About User's Coordinates | IEEE Conference Publication | IEEE Xplore