Space-borne GNSS-R signal over a complex topography. Modeling and validation