Auction-Based Contact Scheduling in Non-Terrestrial Networks: Balancing Truthfulness, Efficiency, and Decentralization