TY - BOOK AU - Gajski, Daniel D AU - Abdi, Samar AU - Gerstlauer, Andreas...[et al.] TI - Embedded system design : modeling, synthesis and verification SN - 9788132211068 CY - New Delhi KW - Embedded system -- Design KW - Software synthesis N1 - Includes bibliographical references and index ER -