Dual-token-based fault-tolerant scheduling for hard real-time multiprocessor systems | IEEE Conference Publication | IEEE Xplore