Αποστολή με SMS: Formal Methods in Macro-Biology