Coverage Probability Analysis of LEO Satellite Communication Systems With Directional Beamforming | IEEE Conference Publication | IEEE Xplore