Coverage Analysis and Chance-Constrained Optimization for HSR Communications With Carrier Aggregation | IEEE Journals & Magazine | IEEE Xplore