Interference analysis involving HEO satellites and fixed service receivers: probabilistic modeling of the fixed service receiving antenna elevation angle | IEEE Conference Publication | IEEE Xplore