Constructing Ionospheric Irregularity Threat Model for Korean SBAS