Modeling of GPS Signal Propagation in Tropospheric Duct on Spherical Rough Sea Surface | IEEE Conference Publication | IEEE Xplore