Email Record: Formal methods for computational systems biology :