Epub Real Time Systems: Scheduling, Analysis, And Verification