Zaslat SMS: Software and systems safety