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