The interface to the User Segment (GPS receivers) is described in the Interface Control Documents (ICD).
Інтерфейс користувацького сегменту (GPS-приймачів) описується в документації Interface Control Documents (ICD).