Galileo High Accuracy Service (HAS) Algorithm and Receiver Development and Testing | Publicación