Rocha, H., 		Ismail, H., 		Cordeiro, L., & 		Barreto, R.
(2015).
 Model Checking Embedded C Software Using k-Induction and Invariants.
In <em>Anais do V Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, (pp. 708-797). Porto Alegre: SBC.