On the Use of Temporal Formal Logic to Model Gene Regulatory Networks