Ionospheric corrections tailored to Galileo HAS: validation with single-epoch navigation | Publicación