On estimating protocol performance from a formal specification. - Raymond E. Miller; Z. U. Chaudry (IPCCC, 1999)