TY  - SER
AU  - Vahid, Frank
AU  - Gajski, Daniel D
TI  - Specification and Design of Embedded Hardware-Software Systems
ER  -