Modeling TCP performance over wireless channels with a semi-reliable data link layer | IEEE Conference Publication | IEEE Xplore