A discrete-time model for multichannel opportunistic spectrum access based on preempted queuing | IEEE Conference Publication | IEEE Xplore