Αποστολή με SMS: NASA Formal Methods