A computer-aided design tool for protocol testing | IEEE Conference Publication | IEEE Xplore