Design of truthful double auction for dynamic spectrum sharing | IEEE Conference Publication | IEEE Xplore