Barreto, R., 		Cordeiro, L., & 		Fischer, B.
2011 nov  7.  Verifying Embedded C Software with Timing Constraints Using an Untimed Bounded Model Checker. Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC). [Online] :