Modeling and verification of TCP congestion control based on colored Petri nets | IEEE Conference Publication | IEEE Xplore