jgg     2020 40 (11):  1158-1163    ISSN: 0412-1961  CN: 21-1139/TG Analysis of RAIM Availability Based on LEO-Augmented BDS Received: null  Revised: null  Online: null Supporting info