Stochastic Geometry Modeling of Cellular Networks: A New Definition of Coverage and its Application to Energy Efficiency Optimization | IEEE Conference Publication | IEEE Xplore