Bessa, Iury, Hussama Ibrahim, Lucas Cordeiro, and João Edgar Chaves Filho.
" Verification of Delta Form Realization in Fixed-Point Digital Controllers Using Bounded Model Checking." <em>Anais do IV Simpósio Brasileiro de Engenharia de Sistemas Computacionais,
Manaus/AM, 2014</em>. SBC, 2014,  
pp.49-54.