Galileo high accuracy service: initial definition and performance | Publicación