TY - BOOK AU - Gajski Daniel D TI - Embedded System Design Modeling Synthesis And Verification SN - 9788132211068 KW - Embedded Systems ER -