Modelling of the propagation of GPS signals over the horizon | IEEE Conference Publication | IEEE Xplore