Modeling the DOCSIS 1.1/2.0 MAC protocol. - Jim Martin 001; Nitin Shrivastav (ICCCN, 2003)