Regional Reference Network Enhanced Tropospheric Modeling and Non-Nominal Troposphere Monitoring for GBAS in Air Transportation | IEEE Journals & Magazine | IEEE Xplore