An efficient truthful double spectrum auction design for dynamic spectrum access | IEEE Conference Publication | IEEE Xplore