Semi-Stochastic Aircraft Mobility Modelling for Aeronautical Networks: An Australian Case-Study Based on Real Flight Data | IEEE Journals & Magazine | IEEE Xplore