не помню, и лень искать. Надо искать ( или сделать самому) расчёт диссинхронизации за счёт СТО (потому что спутник движется, часы на нём идут медленнее) и ОТО (потому что он дальше от Земли, поле слабее, часы на нём идут быстрее). Не помню, какой эффект сильнее, интуитивно - СТО, но лень считать. Учитывать надо оба, потому что всё основано на измерении сигналов времени со спутников, дальше триангуляция.