Dual-Token-Based Fault-Tolerant Scheduling for Hard Real-Time Multiprocessor Systems. - Sungyoung Lee 001; Sam K. Oh; Chul Hee Woo (RTCSA, 1998)