Barreto, R., 		Cordeiro, L., & 		Fischer, B.
2011 Nov  7.  Verifying Embedded C Software with Timing Constraints Using an Untimed Bounded Model Checker. Proceedings of the Brazilian Symposium on Computing Systems Engineering (SBESC). [Online] :