A Markov Performance Model for Buffered Protocol Design | IEEE Conference Publication | IEEE Xplore