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