Відправити по sms: The Practice of Formal Methods