Modeling the DOCSIS 1.1/2.0 MAC protocol | IEEE Conference Publication | IEEE Xplore