An Ionospheric Correction Algorithm for WAAS and Initial Test Results