The Wayback Machine - https://web.archive.org/web/20160304074248/http://www.kroening.com/papers/tcad-sw-2008.pdf