TY - BOOK AU - DANIEL D. GAJSKI TI - EMBEDDDED SYSTEM DESIGN: MODELING SYNTHESIS AND VERIFICATION SN - 9788132211068 U1 - 004.33 PY - 2006/// CY - NEW DELHI PB - SPRINGER ER -