Guest Editorial: Protocol Specification, Testing, and Verification | IEEE Journals & Magazine | IEEE Xplore