發送短信: Software for dependable systems