Did you mean:
+keyword:("markov")
Reliability and safety analysis of a fault-tolerant controller
Fault tolerant computer system for the A129 helicopter