Probabilistic Analysis of Buffer Starvation in Markovian Queues