R. Barreto, L. Cordeiro, and B. Fischer.
" 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>, Florianópolis, 2011, pp. 46-52.