Cheng, Albert M. K. Real-time systems scheduling, analysis, and verification / [Book] : Albert M.K. Cheng. - Hoboken, NJ : Wiley-Interscience, 2002. - xxiii, 524 p. : ill. ; 25 cm. Includes index All. ISBN: 0471184063 Subjects--Topical Terms: Real-time data processing. Dewey Class. No.: