Real-TimeSystems-Scheduling,AnalysisAndVerification.Classictextbookforcomputersciencestudents.