Designing and validating safety components in Valmet's automation system