Energy efficient fault-tolerant earliest deadline first scheduling for hard real-time systems

From MaRDI portal