Modeling embedded systems and SoCs : concurrency and time in models of computation - Jantsch, Axel. (San Francisco : Morgan Kaufmann, 2004)
Includes bibliographical references and index
Keywords: Embedded computer systems -- Design and construction; Systems on a chip -- Design and construction -- Data processing; Timing circuits -- Design and construction -- Data processing