Engineering Calculation of Overflow Probabilities in Buffers with Markov-Interrupted Service · Study