Modeling Embedded Systems and SoC's Concurrency and Time in Models of Computation

System level design is a critical component for the methods to develop designs more productively. But there are a number of challenges in implementing system level modeling. This book addresses that need by developing organizing principles for understanding, assessing, and comparing the different models of computation in system level modeling.