Text this: Formal methods for computational systems biology :