Raimundo S. Barreto, Lucas C. Cordeiro, Bernd Fischer 0002. Verifying Embedded C Software with Timing Constraints Using an Untimed Bounded Model Checker. In Antônio Augusto Fröhlich, Leandro Buss Becker, editors, Brazilian Symposium on Computing System Engineering, SBESC 2011, Florianopolis, Brazil, November 7-11, 2011. pages 46-52, IEEE Computer Society, 2011. [doi]
Abstract is missing.