Transaction-Level State Charts in UML and SystemC with Zero-Time Evaluation