Describir: Príspevky k návrhu počítačových systémov so zvýšenou spoľahlivosťou :