Optimizing resources in real-time scheduling for fault tolerant processors | IEEE Conference Publication | IEEE Xplore