"Pluggable abstract domains for analyzing embedded software."

Nathan Cooprider, John Regehr (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics