Analysis of BDS ARAIM user receiver nominal bias | IEEE Conference Publication | IEEE Xplore