Traffic Control and Energy Harvesting in High Altitude Platforms: A Semi-Markov Process Approach | IEEE Conference Publication | IEEE Xplore