Real-TimeSystemsModeling,Design,andApplications