Дифференциальная коррекция и мониторинг глобальных навигационных спутниковых систем