TY  - BOOK
AU  - Janka, Randall S
TI  - Specification and design methodology for real-time embedded systems
SN  - 792376269
CY  - Boston
KW  - Design methodology
KW  - Real-time embeded system -- Design
N1  - Includes bibliographical references and index
ER  -