Formal Methods In Systems Biology by