Exploiting Timed Transition Relations in Sequential Cycle-Based Simulation of Embedded Systems