Markovove modely spoľahlivosti technických systémov = Markov reliability models of technical systems : Diplomová práca - Pucheľ, Matúš (STU v Bratislave MTF UVSM KTZS, 2009)