Text this: Formal Methods in Systems Biology