Bessa, I., 		Ibrahim, H., 		Cordeiro, L., & 		Chaves Filho, J.
2014 nov  3.  Verification of Delta Form Realization in Fixed-Point Digital Controllers Using Bounded Model Checking. Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC). [Online] :