Springer-Verlag New York Transaction-Level Modeling with SystemC