"SMT-Based Bounded Model Checking for Embedded ANSI-C Software."

Lucas C. Cordeiro, Bernd Fischer, João Marques-Silva (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics