Correction to "Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models" | IEEE Journals & Magazine | IEEE Xplore