Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol. - Somsak Vanit-Anunchai; Jonathan Billington; Tul Kongprakaiwoot (FORTE, 2005)