Measurements of Opportunistic Aircraft Signals and Verification of a Propagation Prediction Tool in Mountainous Region | IEEE Conference Publication | IEEE Xplore