Ting Zhou, Hongtao Lv, Ning Liu, Lei Liu: Budget-Feasible Double Auction Mechanisms for Model Training Services in Federated Learning Market. TrustCom 2024: 501-507