Infer gene regulatory networks from time series data with formal methods