Modeling and Coverage Analysis for Cellular-Connected UAVs With Up-Tilted Antenna | IEEE Journals & Magazine | IEEE Xplore