Zaslat SMS: Formal Methods in System Design