A Case Study in Verification of Embedded Network Software. - Kalyan C. Regula; Hampton Smith; Heather Keown; Jason O. Hallstrom; Nigamanth Sridhar; Murali Sitaraman (NASA Formal Methods, 2012)