Binary Decision Diagrams for Reliability Studies · Study