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 November 21, 2024. https://computingonline.net/computing/article/view/3654.