An Uppaal analysis of the connection setup of the TCP protocol.