Real-timeSystemsSpecification,VerificationandAnalysisEditedbyMathaiJosephThisbookprovidesadetailedaccountofthreemajoraspectsofreal-timesystems:programstructuresforreal-time,timinganalysisusingschedulingtheoryandspecificationandverificationindi