Dependability evaluation in fault-tolerant systems with high-level decision diagrams