S. Becker-weimann, Modeling Feedback Loops of the Mammalian Circadian Oscillator, Biophysical Journal, vol.87, issue.5, pp.3023-3034, 2004.
DOI : 10.1529/biophysj.104.040824

J. M. Borghans, Complex intracellular calcium oscillations A theoretical exploration of possible mechanisms, Biophysical Chemistry, vol.66, issue.1, pp.25-41, 1997.
DOI : 10.1016/S0301-4622(97)00010-0

L. Calzone, BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge, Bioinformatics, vol.22, issue.14, pp.1805-1807, 2006.
DOI : 10.1093/bioinformatics/btl172
URL : https://hal.archives-ouvertes.fr/hal-01431364

L. Calzone, A comprehensive imodular map of molecular interactions in RB/E2F pathway, Mol. Syst. Biol, vol.4, 2008.

G. Chin, BioGraphE: high-performance bionetwork analysis using the Biological Graph Environment, BMC Bioinformatics, vol.9, issue.Suppl 6, 2008.
DOI : 10.1186/1471-2105-9-S6-S6

A. Ciliberto, Modeling Networks of Coupled Enzymatic Reactions Using the Total Quasi-Steady State Approximation, PLoS Computational Biology, vol.103, issue.3, 2007.
DOI : 10.1371/journal.pcbi.0030045.sd001

. Gnu-prolog-user, Available at http://www.gprolog.org

F. Fages and S. Soliman, Formal Cell Biology in Biocham, Int. School on Formal Methods for the Design of Computer Bioinformatics, vol.8, pp.580-591, 2008.
DOI : 10.1007/978-3-540-68894-5_3

W. G. Fisher, NFAT and NF??B Activation in T Lymphocytes: A Model of Differential Activation of Gene Expression, Annals of Biomedical Engineering, vol.398, issue.2, pp.1712-1728, 2006.
DOI : 10.1007/s10439-006-9179-4

A. Goldbeter, A Model for Circadian Oscillations in the Drosophila Period Protein (PER), Proceedings of the Royal Society B: Biological Sciences, vol.261, issue.1362, pp.319-324, 1995.
DOI : 10.1098/rspb.1995.0153

C. Huang, J. E. Ferrell, and . Jr, Ultrasensitivity in the mitogen-activated protein kinase cascade., Proc. Natl Acad. Sci. USA, pp.10078-10083, 1996.
DOI : 10.1073/pnas.93.19.10078

M. Hucka, The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models, Bioinformatics, vol.19, issue.4, pp.524-531, 2003.
DOI : 10.1093/bioinformatics/btg015

K. W. Kohn, Molecular Interaction Map of the Mammalian Cell Cycle Control and DNA Repair Systems, Molecular Biology of the Cell, vol.10, issue.8, pp.2703-2734, 1999.
DOI : 10.1091/mbc.10.8.2703

K. W. Kohn, Molecular Interaction Maps of Bioregulatory Networks: A General Rubric for Systems Biology, Molecular Biology of the Cell, vol.17, issue.1, pp.1-13, 2006.
DOI : 10.1091/mbc.E05-09-0824

V. Le-clément, Constraint-Based Graph Matching, 15th International Conference on Principles and Practice of Constraint Programming, pp.274-288, 2009.
DOI : 10.1007/3-540-70659-3_12

A. Levchenko, Scaffold proteins may iphasically affect the levels of mitogen-activated protein kinase signaling and reduce its threshold properties, Proc. Natl Acad. Sci. USA, 97, pp.5818-5823, 2000.

N. Le-novère, BioModels Database: a free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems, Nucleic Acids Research, vol.34, issue.90001, pp.689-691, 2006.
DOI : 10.1093/nar/gkj092

N. Le-novere, The Systems Biology Graphical Notation, Nature Biotechnology, vol.267, issue.8, pp.735-741, 2009.
DOI : 10.1038/nbt.1558

J. Leloup and A. Goldbeter, Incorporating the Formation of a Complex between the PER and TIM Proteins, Journal of Biological Rhythms, vol.380, issue.1, pp.70-87, 1998.
DOI : 10.1177/074873098128999934

J. Leloup and A. Goldbeter, Chaos and Birhythmicity in a Model for Circadian Oscillations of the PER and TIM Proteins in Drosophila, Journal of Theoretical Biology, vol.198, issue.3, pp.445-449, 1999.
DOI : 10.1006/jtbi.1999.0924

J. Leloup and A. Goldbeter, Toward a detailed computational model for the mammalian circadian clock, Proc. Natl Acad. Sci, pp.7051-7056, 2003.
DOI : 10.1073/pnas.1132112100

J. C. Locke, Experimental validation of a predicted feedback loop in the multi-oscillator clock of Arabidopsis thaliana, Molecular Systems Biology, vol.2, 2006.
DOI : 10.1038/msb4100102

J. C. Locke, Extension of a genetic network model by iterative experimentation and mathematical analysis, Molecular Systems Biology, vol.419, issue.1, pp.4100018-4100019, 2005.
DOI : 10.1038/msb4100018

N. I. Markevich, Signaling switches and bistability arising from multisite phosphorylation in protein kinase cascades, The Journal of Cell Biology, vol.71, issue.3, pp.353-359, 2005.
DOI : 10.1074/jbc.M103369200
URL : http://www.ncbi.nlm.nih.gov/pmc/articles/PMC2172246

A. Naldi, A reduction method for logical regulatory graphs preserving essential dynamical properties, CMSB'09: Proceedings of the Seventh International Conference on Computational Methods in Systems Biology, pp.266-280, 2009.

O. Radulescu, Hierarchies and modules in complex biological systems, Proceedings of the Second European Conference on Complex Systems, 2006.

L. A. Segel, Modeling Dynamic Phenomena in Molecular and Cellular Biology, 1984.

P. Smolen, Simulation of Drosophila Circadian Oscillations, Mutations, and Light Responses by a Model with VRI, PDP-1, and CLK, Biophysical Journal, vol.86, issue.5, pp.2786-2802, 2004.
DOI : 10.1016/S0006-3495(04)74332-5

H. R. Ueda, Robust Oscillations within the Interlocked Feedback Model of Drosophila Circadian Rhythm, Journal of Theoretical Biology, vol.210, issue.4, pp.401-406, 2001.
DOI : 10.1006/jtbi.2000.2226

A. Zinovyev, BiNoM: a Cytoscape plugin for manipulating and analyzing biological networks, Bioinformatics, vol.24, issue.6, pp.876-877, 2008.
DOI : 10.1093/bioinformatics/btm553
URL : http://bioinformatics.oxfordjournals.org/cgi/content/short/24/6/876