TY  - BOOK
AU  - 
AU  - Gajski, Daniel D.
TI  - Embedded system design: modeling, synthesis and verification
SN  - 9781441905031
U1  - 621.392 
PY  - 2009///
CY  - New York
PB  - Springer Science+Media
KW  - Embedded computer systems
ER  -