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