Preventing interrupt overload. - John Regehr; Usit Duongsaa (LCTES, 2005)

Deriving abstract transfer functions for analyzing embedded software. - John Regehr; Usit Duongsaa (LCTES, 2006)