Mrena, Michal, and Miroslav Kvassay. “Application of Binary Decision Diagrams in Time-Dependent Reliability Analysis”. International Journal of Computing 23, no. 3 (October 11, 2024): 360-370. Accessed April 3, 2025. https://computingonline.net/computing/article/view/3654.