De novo reconstruction of gene regulatory networks from time series data an approach based on formal methods