Barreto, Raimundo, 		Cordeiro, Lucas, E 		Fischer, Bernd.
" Verifying Embedded C Software with Timing Constraints Using an Untimed Bounded Model Checker" <em>Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC)</em> [Online], (7 novembro 2011)