A monotonicity result for the workload in Markov-modulated queues · Study