Optimized MHSS ARAIM user algorithms: Assumptions, protection level calculation and availability analysis | IEEE Conference Publication | IEEE Xplore