Text this: Computational Methods for Understanding Complexity: The Use of Formal Methods in Biology