Real-time systems: scheduling and structure | lit.salon