TY  - BOOK
AU  - GAJSKI AND ETC
ED  - 1
TI  - EMBEDDED SYSTEM DESIGN: MODELING SYNTHESIS AND VERIFICATION
SN  - 9788132211068
U1  - 004.16 GAJ 
PY  - 2013///
PB  - SPRINGER
ER  -