Loss probabilities for messages with redundant packets feeding a finite buffer · Study