Discrete time analysis of cognitive radio networks with imperfect sensing and saturated source of secondary users