M. Mrena and M. Kvassay, “Application of Binary Decision Diagrams in Time-Dependent Reliability Analysis”, IJC, vol. 23, no. 3, pp. 360-370, Oct. 2024.