Sensing-Throughput Tradeoff in Cognitive Radio With Random Arrivals and Departures of Multiple Primary Users | IEEE Journals & Magazine | IEEE Xplore