SMS versenden: Engineered barrier systems (EBS) in the safety case