TY  - BOOK
AU  - Gajski, Daniel D
TI  - Embedded System Design: Modeling Synthesis and Verification
U1  - 001.64404/Gaj 
PY  - 2013///
CY  - London
PB  - Springer
N1  - TB; PG
ER  -