GNSS vulnerability assessment method based on ARAIM user algorithm | IEEE Conference Publication | IEEE Xplore