Bessa, I., 		Ibrahim, H., 		Cordeiro, L., & 		Chaves Filho, J.
(2014).
 Verification of Delta Form Realization in Fixed-Point Digital Controllers Using Bounded Model Checking.
In <em>Anais do IV Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, (pp. 49-54). Porto Alegre: SBC.