Verifying Embedded C Software with Timing Constraints Using an Untimed Bounded Model Checker | IEEE Conference Publication | IEEE Xplore