Network calculus based simulation for TCP congestion control: theorems, implementation and evaluation | IEEE Conference Publication | IEEE Xplore