Skip to main content

Generation of fault-tolerant state-based communication schedules for real-time systems