1. Blanch J, et al (2012) Advanced RAIM user algorithm description: integrity support message processing, fault detection, exclusion, and protection level calculation. In: Proceedings of ION GNSS+ 2012, Institute of Navigation, September 17–21, 2012. Nashville Convention Center Nashville, Tennessee, pp 2828–2849
2. Crespillo OG, Langel S, Joerger M (2020) Tight bounds for uncertain time-correlated errors with gauss-markov structure in kalman filtering. IEEE Trans Aerosp Electron Syst. https://doi.org/10.48550/arXiv.2009.09495
3. European Union Space Program Agency (EUSPA) (2019) Galileo open service—service definition document, issue 1.1. https://www.gsc-europa.eu/sites/default/files/sites/all/files/Galileo-OS-SDD_v1.1.pdf
4. European Union Space Program Agency (EUSPA) (2020) Information note on Galileo high accuracy service. https://www.gsc-europa.eu/sites/default/files/sites/all/files/Galileo_HAS_Info_Note.pdf
5. European Union Space Program Agency (EUSPA) (2022a) Galileo high accuracy service signal-in-space interface control document (HAS SIS ICD). https://www.gsc-europa.eu/sites/default/files/sites/all/files/Galileo_HAS_SIS_ICD_v1.0.pdf