Andy J. Wellings, Ljerka Beus-Dukic, David Powell: Real-Time Scheduling in a Generic Fault-Tolerant Architecture. RTSS 1998: 390-398