Analysis of state-dependent probabilistic server interruptions in discrete-time queues | IEEE Journals & Magazine | IEEE Xplore