De novo Reconstruction of Gene Regulatory Networks from Time Series Data, an approach based on Formal Methods