A knowledge-based protocol engineering environment | IEEE Conference Publication | IEEE Xplore