Scheduling algorithms for fault-tolerance in hard-real-time systems - Bertossi, Alan A.; Mancini, Luigi V. (Università degli Studi <Pisa>, 1991)