Tropospheric error modeling for high integrity airborne GNSS navigation | IEEE Conference Publication | IEEE Xplore