Designing Truthful Spectrum Double Auctions with Local Markets | IEEE Journals & Magazine | IEEE Xplore