Optimized Step Semantics Encoding for Bounded Model Checking of Timed Automata | IEEE Conference Publication | IEEE Xplore