Discrete-time priority queueing systems with two-state Markov modulated arrival processes | IEEE Conference Publication | IEEE Xplore