发送短信: Engineered barrier systems (EBS) in the safety case