A Double-Auction-Based Mechanism to Stimulate Secondary Users for Cooperative Sensing in Cognitive Radio Networks | IEEE Journals & Magazine | IEEE Xplore