TAHES: Truthful double Auction for Heterogeneous Spectrums | IEEE Conference Publication | IEEE Xplore