Stochastic Geometry Analysis of LEO Constellation Coverage under Atmospheric Attenuation | IEEE Conference Publication | IEEE Xplore