Modeling and verification of TCP congestion control based on colored Petri nets. - Ganfeng Bao; Fang Liu; Li Hong (SMC, 2003)