The Galileo Ground Segment Integrity Algorithms: Design and Performance | Publicación