Seol mar théacs é seo: Binary decision diagrams and extensions for system reliability analysis /