发送短信: On software system reliability, safety and security /