Our modeling of PERT is composed of three parts: window adjustment, RED emulation, and queuing behavior. We start with the window dynamics. Similar to [7], we consider a single-link scenario and assume the forward propagation delay from the source to the router is negligible and thus the round-trip time R(t) measured by the end-user at time t is composed of backward propagation delay Tp and que...