Computing Bounds of the MTTF for a Set of Markov Chains. - Aït-Salaht, Farah; Fourneau, Jean-Michel; Pekergin, Nihal (2013)