EGNOS open service guidelines for receiver manufacturers | IEEE Conference Publication | IEEE Xplore