Augmentation of JFLAP with communication protocols testing capabilities | IEEE Conference Publication | IEEE Xplore