Seol mar théacs é seo: Hazard analysis techniques for system safety /