Zaslat SMS: Formal method