Barreto, R., 		Cordeiro, L., & 		Fischer, B.
(2011).
 Verifying Embedded C Software with Timing Constraints Using an Untimed Bounded Model Checker.
In <em>Proceedings of the 1st Brazilian Symposium on Computing Systems Engineering</em>, (pp. 46-52). Porto Alegre: SBC.