Iury Bessa, Hussama Ibrahim, Lucas Cordeiro, and João Chaves Filho. 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>, novembro 03, 2014, Manaus/AM, Brasil. SBC, Porto Alegre, Brasil, 49-54.