Rocha, H., 		Ismail, H., 		Cordeiro, L., & 		Barreto, R.
2015 nov  3.  Model Checking Embedded C Software Using k-Induction and Invariants. Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC). [Online] :