R-BATCH: Task Partitioning for Fault-tolerant Multiprocessor Real-Time Systems | IEEE Conference Publication | IEEE Xplore