Reliability Analysis of Complex Systems Using Decision Diagrams : dissertation thesis - Mrena, Michal (University of Žilina, Faculty of management science and informatics, 2024)