TSA: A framework of truthful spectrum auctions under the physical interference model | IEEE Conference Publication | IEEE Xplore