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