Analysis of cognitive radio networks based on a queueing model with server interruptions | IEEE Conference Publication | IEEE Xplore