Mrena, M., and M. Kvassay. “Application of Binary Decision Diagrams in Time-Dependent Reliability Analysis”. International Journal of Computing, vol. 23, no. 3, Oct. 2024, pp. 360-7, doi:10.47839/ijc.23.3.3654.