000			00485pam a2200181a 44500
005			20170113105331.0
008			160408b1996 xxu||||| |||| 00| 0 eng d
020			_a0134552970
040			_cIITK
041			_aeng
082			_a004.33 _bR229
245	1		_aReal-time systems _cspecification, verification and analysis
260			_bPrentice-Hall International, London _c1996
300			_axiv, 278p.
650			_aReal-Time Control
700			_aMathai Joseph, ed.
942			_cBK
999			_c331026 _d331026