Cheng, Albert M.K. Real-time systems: scheduling, analysis, and verification by Albert M.K.Cheng - New Delhi John Wiley 2010 - xxiii, 524 p. ISBN: 8126527854 Subjects--Topical Terms: Real-time processing Dewey Class. No.: 004.33 / CHE