Zaslať SMS: Špecifiká návrhu softvéru riadiacich systémov bezpečnostne kritických procesov