Embedded System Design Modeling, Synthesis and Verification - Gajski, Daniel D.; Abdi, Samar; Gerstlauer, Andreas; Schirner, Gunar (Springer US, 2009)