Probabilistic analysis of buffer starvation in Markovian queues · Study