TY - BOOK AU - Gajski, Daniel D. TI - Embedded system design: modeling synthesis and verification SN - 9788132211068 U1 - 621.3981 PY - 1994/// CY - New Delhi PB - Springer KW - Applied physics ER -