Erratum to: Formal Availability Analysis Using Theorem Proving