Modeling TCP over selective repeat ARQ in wireless networks with non-negligible propagation delay | IEEE Conference Publication | IEEE Xplore