TY  - BOOK
AU  - Cheng,Albert M.K.
TI  - Real-time systems: scheduling, analysis, and verification 
SN  - 0471184063
PY  - 2002///
CY  - Hoboken, NJ
PB  - Wiley-Interscience
KW  - Real-time data processing
ER  -