I. Bessa, H. Ibrahim, L. Cordeiro, and J. Chaves Filho.
" 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>, Manaus/AM, 2014, pp. 49-54.