Models of TCP in high-BDP environments and their experimental validation | IEEE Conference Publication | IEEE Xplore