Keith Wansbrough, Michael Norrish, Peter Sewell, Andrei Serjantov: Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures. ESOP 2002: 278-294