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