An Analytical Framework for Coverage in Cellular Networks Leveraging Vehicles | IEEE Journals & Magazine | IEEE Xplore