An Integrated Contract and Auction Design for Secondary Spectrum Trading | IEEE Journals & Magazine | IEEE Xplore