On the Probabilistic Model for Primary and Secondary User Activity for OFDMA-Based Cognitive Radio Systems: Spectrum Occupancy and System Throughput Perspectives | IEEE Journals & Magazine | IEEE Xplore