Assessment of BDS-3 Global Real-Time Kinematic Positioning Availability Based on Redundant Dual-Receivers Configuration | IEEE Conference Publication | IEEE Xplore