Model checking SystemC designs using timed automata
timed automata : semantics , algorithms and tools .