Research on the effects of user antenna's attitude on the availability of RAIM | IEEE Conference Publication | IEEE Xplore