Mrena, Michal, and Miroslav Kvassay. 2024. “Application of Binary Decision Diagrams in Time-Dependent Reliability Analysis”. International Journal of Computing 23 (3):360-70. https://doi.org/10.47839/ijc.23.3.3654.