TY - BOOK AU - Gajski, Daniel D AU - Gajski, Daniel DAbdi, Samar, Gerstlauer, Andreas, Schirner, Gunar TI - Embedded system design: modeling, synthesis and Verification SN - 9781441905048 U1 - 006.22 GAJ/ABD PY - 2013/// CY - New Delhi PB - Springer KW - COMPUTER SCIENCE AND ENGINEERING ER -