Queuing analysis of dynamic spectrum access subject to interruptions from primary users | IEEE Conference Publication | IEEE Xplore