發送短信: Reliability of safety-critical systems :