Computation of satellite clock-ephemeris augmentation parameters for dual-frequency multi-constellation satellite-based augmentation system | BIAI Journals & Magazine | IEEE Xplore