Downlink coverage probability in a finite network of unmanned aerial vehicle (UAV) base stations | IEEE Conference Publication | IEEE Xplore