A discrete-time Markov-modulated queuing system with batched arrivals