A Probabilistic Model of Carrier Sensing Based Cognitive Radio | IEEE Conference Publication | IEEE Xplore