Epub Real Time Systems Scheduling Analysis And Verification