TY  - BOOK
AU  - DANIEL D. GAJSKI 
TI  - EMBEDDDED SYSTEM DESIGN: MODELING SYNTHESIS AND VERIFICATION 
PY  - 2006///
CY  - NEW DELHI 
PB  - SPRINGER 
ER  -