SMT-Based Bounded Model Checking for Real-Time Systems (Short Paper) | IEEE Conference Publication | IEEE Xplore