Automatic Double-Auction Mechanism for Federated Learning Service Market in Internet of Things | IEEE Journals & Magazine | IEEE Xplore