The design of a fault-tolerant, real-time, multi-core computer system | IEEE Conference Publication | IEEE Xplore