J. Ahmad, J. Bourdon, D. Eveillard, J. Fromentin, O. Roux et al., Temporal constraints of a gene regulatory network: Refining a qualitative simulation, Biosystems, vol.98, issue.3, pp.3-3, 1991.
DOI : 10.1016/j.biosystems.2009.05.002
URL : https://hal.archives-ouvertes.fr/hal-00423353

K. Altisen, P. Bouyer, T. Cachat, F. Cassez, and G. Gardey, Introduction au contr??le des syst??mes temps-r??el, Journal Europ??en des Syst??mes Automatis??s, vol.39, issue.1-3, pp.1-1, 2005.
DOI : 10.3166/jesa.39.367-380

R. Alur and D. Dill, « A theory of timed automata, Theoretical computer science, pp.183-235, 1994.

G. Batt, M. Page, I. Cantone, G. Gessler, P. Monteiro et al., Efficient parameter search for qualitative models of regulatory networks using symbolic model checking, Bioinformatics, vol.26, issue.18, pp.18-18, 2010.
DOI : 10.1093/bioinformatics/btq387
URL : https://hal.archives-ouvertes.fr/inria-00482569

V. Beaujouan, P. Durand, and L. Ruiz, Modelling the effect of the spatial distribution of agricultural practices on nitrogen fluxes in rural catchments, Ecological Modelling, vol.137, issue.1, pp.1-1, 2001.
DOI : 10.1016/S0304-3800(00)00435-X

E. Clarke, O. Grumberg, and D. Peled, Model-Checking, 2002.

E. M. Clarke, E. A. Emerson, and A. P. Sistla, Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Programming Languages and Systems, vol.8, issue.2, pp.244-263, 1986.
DOI : 10.1145/5397.5399

M. Cordier, F. Garcia, C. Gascuel-odoux, V. Masson, J. Salmon-monviola et al., « A machine learning approach for evaluating the impact of land use and management practices on streamwater pollution by pesticides, MODSIM'05 (International Congress on Modelling and Simulation), pp.2651-2657, 2005.

F. Guerrin and J. Dumas, Knowledge representation and qualitative simulation of salmon redd functioning. Part I: qualitative modeling and simulation, Biosystems, vol.59, issue.2, pp.2-2, 2001.
DOI : 10.1016/S0303-2647(01)00100-9

T. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, Symbolic model checking for real-time systems, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, pp.2-2, 1994.
DOI : 10.1109/LICS.1992.185551
URL : http://doi.org/10.1006/inco.1994.1045

C. Largouët and M. Cordier, « Patrons de scenarios pour l'exploration qualitative d'un écosystème, Actes de Reconnaissance des Formes et Intelligence Artificielle (RFIA'10), 2010.

J. D. Murray, Mathematical Biology I : An Introduction, Interdisciplinary Applied Mathematics, vol.17, 2002.

J. Rickel and B. Porter, Automated modeling of complex systems to answer prediction questions, Artificial Intelligence, vol.93, issue.1-2, pp.201-260, 1997.
DOI : 10.1016/S0004-3702(96)00052-5

J. Rykiel, Artificial intelligence and expert systems in ecology and natural resource management, Ecological Modelling, vol.46, issue.1-2, pp.1-1, 1989.
DOI : 10.1016/0304-3800(89)90066-5

P. Salles, B. Bredeweg, and S. Araújo, Qualitative models about stream ecosystem recovery: Exploratory studies, Ecological Modelling, vol.194, issue.1-3, pp.1-1, 2006.
DOI : 10.1016/j.ecolmodel.2005.10.018

B. Shults and B. Kuipers, Proving properties of continuous systems: qualitative simulation and temporal logic, Artificial Intelligence, vol.92, issue.1-2, pp.1-1, 1997.
DOI : 10.1016/S0004-3702(96)00050-1

D. Tulllos and M. Neumann, A qualitative model for analyzing the effects of anthropogenic activities in the watershed on benthic macroinvertebrate communities, Ecological Modelling, vol.196, issue.1-2, pp.209-220, 2006.
DOI : 10.1016/j.ecolmodel.2006.02.018

A. Veresi, S. Toffolatti, G. Zocchi, R. Guglielmann, and L. Ironi, « A new approach to modelling the dynamics of oospore germination in Plasmopara viticola, European Journal of Plant Pathology, vol.128, pp.18-18, 2010.

S. Yovine, KRONOS: a??verification tool for real-time systems, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.123-133, 1997.
DOI : 10.1007/s100090050009

S. Yovine, Model checking timed automata, Embedded Systems, 1998.
DOI : 10.1007/3-540-65193-4_20