An auction-based mechanism for spectrum leasing in overlay cognitive radio networks | IEEE Conference Publication | IEEE Xplore