Fault-tolerant real-time scheduling using passive replicas | IEEE Conference Publication | IEEE Xplore