Zaslat SMS: Formal software development