Transaction-Level State Charts in UML and SystemC with Zero-Time Evaluation Author(s): Rainer Findenig , Thomas Leitner, Michael Velten, and Wolfgang Ecker Download