R. Sc-159, DO-229E, Minimum Operational Performance Standards for Global Positioning System/Satellite-Based Augmentation System Airborne Equipment, Revision E, 2017.

T. Walter, J. Blanch, and V. Kropp, Satellite Selection for Multi-Constellation SBAS, Proceedings of the 29th International Technical Meeting of The Satellite Division of the Institute of Navigation (ION GNSS+ 2016), pp.1350-1359, 2016.

M. Odriozola, S. Bühler, J. Samson, and S. Schlüter, Not-all-in-view Receiver in the DFMC SBAS MOPS, 2017.

E. Wg-62, Minimum Operational Performance Specification for Galileo / Global Positioning System / Satellite-Based Augmentation System Airborne Equipment, 2018.

, MAAST

, Algorithm Availability Simulation Tool, 2018.

, Matlab Algorithm Availability Simulation Tool (MAAST) Software Developer's Guide, Version 1.1, 2002.

T. Walter, A. Hansen, and P. Enge, Message Type 28, Proceedings of the 2001 National Technical Meeting of The Institute of Navigation, 2001.

M. Tran, Performance Evaluations of the New GPS L5 and L2 Civil (L2C) Signals, NAVIGATION, Journal of The Institute of Navigation, vol.51, issue.3, pp.199-212, 2004.

, EGNOS V3 Phases C/D-Summary Statement of Work, Ref ESA-EGN-V3-SOW-0024, 2016.

, EGNOS Safety of Life Service Definition Document, version 3.1, 2016.

R. Sc-159, DO-253D, Minimum Operational Performance Standards for GPS Local Area Augmentation System Airborne Equipment, 2017.