R-BATCH: Task Partitioning for Fault-tolerant Multiprocessor Real-Time Systems. - Kim, Junsung; Lakshmanan, Karthik; Rajkumar, Ragunathan (2010)