A system analysis approach for protocol test | IEEE Conference Publication | IEEE Xplore