TY  - BOOK
AU  - Cheng, Albert M K
TI  - Real - time systems : scheduling, analysis, and verification
SN  - 9788126527854
PB  - New Delhi
KW  - Finitestate systems
KW  - Realtime systems
N1  - Includes bibliographical references and index
ER  -