A Double Auction Framework for Multi-Channel Multi-Winner Heterogeneous Spectrum Allocation in Cognitive Radio Networks | Synapse