发送短信: Security-driven design of real-time embedded systems /