An adapted RAIM algorithm for urban canyon environment | IEEE Conference Publication | IEEE Xplore