Qiang Ye Mike H. MacGregor Petri Net Approach to Improving SACK TCP Resilience. 146-155 2004 conf/cnsr/2004 CNSR http://doi.ieeecomputersociety.org/10.1109/DNSR.2004.1344723 db/conf/cnsr/cnsr2004.html#YeM04