Reliability analysis of complex systems based on logic differential calculus : habilitation thesis - Kvaššay, Miroslav (University of Žilina, Faculty of management science and informatics, 2018)