Analyzing a CSMA/CD protocol through a Systems of Communicating Machines Specification | IEEE Journals & Magazine | IEEE Xplore