Mrena, M.; Kvassay, M. Application of Binary Decision Diagrams in Time-Dependent Reliability Analysis. IJC 2024, 23, 360-370.