Αποστολή με SMS: Computational Methods for Understanding Complexity: The Use of Formal Methods in Biology