Value-based scheduling of distributed fault-tolerant real-time systems with soft and hard timing constraints | IEEE Conference Publication | IEEE Xplore