Αποστολή με SMS: Formal Methods: Applications and Technology