Modeling and Verification of Transmission Protocols: A Case Study on CSMA/CD Protocol | IEEE Conference Publication | IEEE Xplore