Barreto, R., 		Cordeiro, L., & 		Fischer, B.
(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>, (pp. 46-52). Porto Alegre: SBC.