Seol mar théacs é seo: Reliability of safety-critical systems :