Zaslat SMS: Security-driven design of real-time embedded systems /