Embedded System Design : Modeling, Synthesis and Verification - Gajski, Daniel D.; Abdi, Samar; Gerstlauer, Andreas; Schirner, Gunar; SpringerLink (Online service) (New York, NY : Springer US : Imprint: Springer, 2009)
System Design Methodologies -- Modeling -- System Synthesis -- Software Synthesis -- Hardware Synthesis -- Verification -- Embedded Design Practice.
Keywords: Electronic circuits; Engineering design; Computer-aided engineering; Software engineering; Circuits and Systems; Engineering Design; Computer-Aided Engineering (CAD, CAE) and Design; Software Engineering/Programming and Operating Systems