Formal Methods In Systems Biology door