Fabrizio Lombardi Chin-Long Wey On a Multiprocessor System with Dynamic Redundancy. 3-12 1985 conf/rtss/1985 IEEE Real-Time Systems Symposium db/conf/rtss/rtss1985.html#LombardiW85