Discrete-time spectrum occupancy model based on Markov Chain and duty cycle models | IEEE Conference Publication | IEEE Xplore