Formal Methods In Systems Biology