Rocha, Herbert, 		Ismail, Hussama, 		Cordeiro, Lucas, E 		Barreto, Raimundo.
" Model Checking Embedded C Software Using k-Induction and Invariants" <em>Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC)</em> [Online], (3 novembro 2015)