Title: Analysis and testing of the SURE program
Subjects: Reliability analysis, Markov models, Fault tolerance, SURE program