Text this: Formal Methods for Computational Systems Biology