Špecifiká návrhu softvéru riadiacich systémov bezpečnostne kritických procesov - Trnovský, Peter, 1985- (STU v Bratislave MTF, 2012)