Title: Real-time systems: scheduling and structure