Binary Decision Diagrams and Extensions for System Reliability Analysis