SAFA: A Semi-Asynchronous Protocol for Fast Federated Learning With Low Overhead | IEEE Journals & Magazine | IEEE Xplore