Reliability analysis based on logical differential calculus and minimal cut set methods : dissertation thesis - Kvaššay, Miroslav (University of Žilina - Faculty of management science and informatics, 2015)