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

Author(s):
Rainer Findenig , Thomas Leitner, Michael Velten, and Wolfgang Ecker