The use of global ionospheric irregularity models for satellite communications