Text this: Binary decision diagrams and extensions for system reliability analysis /