Raimundo Barreto, Lucas Cordeiro, and Bernd Fischer. 2011.
 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>, novembro 07, 2011, Florianópolis, Brasil. SBC, Porto Alegre, Brasil, 46-52.