Formal Methods for Computational Systems Biology