Ionospheric model correction for spaceborne GNSS receiver | IEEE Conference Publication | IEEE Xplore