AsyncFLEO: Asynchronous Federated Learning for LEO Satellite Constellations with High-Altitude Platforms | IEEE Conference Publication | IEEE Xplore