E-systém pre spoľahlivosť digitálnych systémov - Mičuda, Maroš (STU v Bratislave FIIT, 2007)