Satellite navigation for high precision aircraft navigation with emphasis on atmospheric effects | IEEE Conference Publication | IEEE Xplore