A Methodology for the Design and Implementation of Communication Protocols | IEEE Journals & Magazine | IEEE Xplore