Daniel Mosse;Ashok K. Agrawala
-;-
A Nonpreemptive Real-Time Scheduler with Recovery from Transient Faults and Its Implementation
IEEE Transactions on Software Engineering