SMS: Performance evaluation of fault tolerant systems represented by Markov models / Jean-Olivier Antoine Raymond Missana.