Schedulability Analysis And Verification Of Real-Time Discrete-Event Systems