J. Ahmad, O. Roux, G. Bernot, J. Comet, and A. Richard, Analysing formal models of genetic regulatory networks with delays, International Journal of Bioinformatics Research and Applications, vol.4, issue.3, pp.240-262, 2008.
DOI : 10.1504/IJBRA.2008.019573
URL : https://hal.archives-ouvertes.fr/hal-00415808

G. Bernot, J. Comet, A. Richard, and J. Guespin, Application of formal methods to biological regulatory networks: extending Thomas??? asynchronous logical approach with temporal logic, Journal of Theoretical Biology, vol.229, issue.3, pp.339-347, 2004.
DOI : 10.1016/j.jtbi.2004.04.003

E. Farcot and J. Gouzé, Periodic Solutions of Piecewise Affine Gene Network Models with Non Uniform Decay Rates: The Case of a Negative Feedback Loop, Acta Biotheoretica, vol.4, issue.3???4, pp.429-455, 2009.
DOI : 10.1007/s10441-009-9086-9
URL : https://hal.archives-ouvertes.fr/hal-00831799

L. Glass and S. A. Kauffman, The logical analysis of continuous, non-linear biochemical control networks, Journal of Theoretical Biology, vol.39, issue.1, pp.103-129, 1973.
DOI : 10.1016/0022-5193(73)90208-7

J. Gouzé, Positive and Negative Circuits in Dynamical Systems, Journal of Biological Systems, vol.06, issue.01, pp.11-15, 1998.
DOI : 10.1142/S0218339098000054

J. Gouzé and T. Sari, A class of piecewise linear differential equations arising in biological models, Dynamical Systems, vol.17, issue.4, pp.17-299, 2003.
DOI : 10.1080/1468936021000041681

M. Kaufman, C. Soulé, and R. Thomas, A new necessary condition on interaction graphs for multistationarity, Journal of Theoretical Biology, vol.248, issue.4, pp.675-685, 2007.
DOI : 10.1016/j.jtbi.2007.06.016

E. H. Snoussi, Qualitative dynamics of piecewise-linear differential equations: a discrete mapping approach, Dynamics and Stability of Systems, vol.54, issue.3-4, pp.189-207, 1989.
DOI : 10.1016/S0006-3495(71)86192-1

E. H. Snoussi, Necessary Conditions for Multistationarity and Stable Periodicity, Journal of Biological Systems, vol.06, issue.01, pp.3-9, 1998.
DOI : 10.1142/S0218339098000042

R. Thomas, Boolean formalization of genetic control circuits, J. Biol. Syst, vol.42, pp.563-585, 1973.

J. Tyson and B. Novak, Regulation of the Eukaryotic Cell Cycle: Molecular Antagonism, Hysteresis, and Irreversible Transitions, Journal of Theoretical Biology, vol.210, issue.2, pp.249-263, 2001.
DOI : 10.1006/jtbi.2001.2293