Disseminating regional ionospheric corrections from GNSS constellations and application to Galileo high accuracy service