Modeling and simulation of time-correlation properties of spectrum use in cognitive radio | IEEE Conference Publication | IEEE Xplore