Bessa, Iury, 		Ibrahim, Hussama, 		Cordeiro, Lucas, E 		Chaves Filho, João.
" Verification of Delta Form Realization in Fixed-Point Digital Controllers Using Bounded Model Checking" <em>Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC)</em> [Online], (3 novembro 2014)