Zaslat SMS: Software engineering for embedded systems