Seol mar théacs é seo: Real-time systemsscheduling, analysis, and verification