Cheng, Albert M. K. Real-time systems : scheduling, analysis, and verification / Albert M.K. Cheng - Hoboken, NJ : Wiley-Interscience, 2002 - 524 p. : ill. ; 25 cm. ISBN: 0471184063 Subjects--Topical Terms: Real-time data processing