Propagation from a geostationary satellite to terminals inside buildings | IET Conference Publication | IEEE Xplore