Albert M K Cheng Real Time Systems : Sheduling Analysis and Verification - 1 - Wiley India Pvt Ltd,New Delhi 2010 Subjects--Topical Terms: COMPUTER Dewey Class. No.: 005.43