Estimating protocol performance using a formal specification model. - Raymond E. Miller; Zafar Ullah Chaudhry (Int. J. Commun. Syst., 1999)