000 00345nam a22001457a 4500
003 BML
020 _a9788126527854
082 _a658.4038
_bCHE
100 _aCheng , Albert M . K
245 _aReal time systems scheduling, analysis, and verification
250 _a1st.
260 _aNew Delhi
_bWiley
_c2010
300 _a524p.
942 _2ddc
_cBK
999 _c2038
_d2038