Transaction Level Modeling with SystemC TLM Concepts and Applications for Embedded Systems (Springer, 2005)