A Probabilistic Model of Spectrum Availability for OFDMA Based Cognitive Radio Systems | IEEE Journals & Magazine | IEEE Xplore