The ENTRAPID Protocol Development Environment. - X. W. Huang; Rosen Sharma; Srinivasan Keshav (INFOCOM, 1999)