Transaction-Level Modeling with SystemC - Ghenassia, Frank (Springer US, 2020)