Zaslat SMS: Software and systems modeling