Rocha, H., 		Ismail, H., 		Cordeiro, L., & 		Barreto, R.
(2015).
 Model Checking Embedded C Software Using k-Induction and Invariants.
In <em>Proceedings of the 5th Brazilian Symposium on Computing Systems Engineering</em>, (pp. 708-797). Porto Alegre: SBC.