Real-time scheduling in a generic fault-tolerant architecture | IEEE Conference Publication | IEEE Xplore