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