R. Barreto, L. Cordeiro, and B. Fischer.
"Verifying Embedded C Software with Timing Constraints Using an Untimed Bounded Model Checker", in <em>Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, Florianópolis, 2011, pp. 46-52.