The second edition of my book High Performance Embedded Computing has just been published by Morgan Kaufman. This book takes a more advanced view of embedded system design than does my other book Computers as Components. HPEC goes into detail on system architectures, design algorithms, performance analysis, energy and power. A new chapter concentrates on cyber-physical systems. This new edition also covers thermal-aware design of embedded systems.
You can find the book's overheads and other supplements at my Web site. And you can order it from a variety of sources, including Amazon.