The rising complexity in system designs over the past decades poses great challenges to current designers. One way to cope with this challenge has been to raise the level of abstraction of design, reducing the number of elements and speeding up design decisions. Transaction Level Models (TLM) have emerged as a new alternative to design Multi-Processor System-on-Chips (MPSoC). This book aims to contribute in different aspects: a definition of a modeling style for SystemC TLMs, a definition of a data structure, complete and flexible enough to describe a complete embedded system,and generation algorithms that would use it to automatically produce an executable TLM in SystemC. With this approach, automatic generation of TLMs can be achieved, freeing the designer from error-prone manual coding, and allowing a focus on higher level design decisions, speeding up the overall design phase.