Email Record: Formal Methods in Systems Biology :