FedGSM: Efficient Federated Learning for LEO Constellations with Gradient Staleness Mitigation | IEEE Conference Publication | IEEE Xplore