Leram - Transaction-Level Modeling with SystemC: TLM Concepts and Applications for Embedded Systems