A career in system-level design research [review of "Embedded System Design: Modeling, Synthesis, and Verification (Gajski, D.D. et al; 2009)]

This is a review of Embedded System Design: Modeling, Synthesis and Verification (by Daniel D. Gajski, Samar Abdi, Andreas Gerstlauer, and Gunar Schirner). The book introduces readers to embedded-systems design methodologies and tools, both those in use and those yet to come. It summaries the pioneering work of Daniel Gajski and colleagues in system-level design and shows both progress made and yet to be made in the field.