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

J. M. Attonaty, M. H. Chatelin, and F. Garcia, Interactive simulation modeling in farm decision-making, Computers and Electronics in Agriculture, vol.22, issue.2-3, pp.157-170, 1999.
DOI : 10.1016/S0168-1699(99)00015-0

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.93-105, 2001.
DOI : 10.1016/S0304-3800(00)00435-X

P. Bouyer, Model-checking Timed Temporal Logics, Proceedings of the 4th Workshop on Methods for Modalities (M4M-5), pp.323-341, 2009.
DOI : 10.1016/j.entcs.2009.02.044
URL : http://doi.org/10.1016/j.entcs.2009.02.044

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), 2005.
URL : https://hal.archives-ouvertes.fr/inria-00511101

F. Guerrin, Qualitative reasoning about an ecological process: interpretation in hydroecology, Ecological Modelling, vol.59, issue.3-4, pp.165-201, 1991.
DOI : 10.1016/0304-3800(91)90177-3

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.75-84, 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.193-244, 1994.
DOI : 10.1109/LICS.1992.185551

K. Larsen, P. Pettersson, and W. Yi, Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997.
DOI : 10.1007/s100090050010

P. T. Monteiro, D. R. Mateescu, A. T. Freitas, H. De, and J. , Temporal logic patterns for querying qualitative models of genetic regulatory networks, European Conference in Artificial Intelligence (ECAI'08), pp.229-233, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00357802

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.3-8, 1989.
DOI : 10.1016/0304-3800(89)90066-5

P. Salles, B. Bredeweg, and S. Arajo, Qualitative models about stream ecosystem recovery: Exploratory studies, Special Issue on the Fourth European Conference on Ecological Modelling -Selected Papers from the Fourth European Conference on Ecological Modelling, pp.80-89, 2004.
DOI : 10.1016/j.ecolmodel.2005.10.018

D. Tulllos and M. Neumann, A qualitative model for characterizing effects of anthropogenic activities on benthic communities. Ecological Modeling 196, pp.209-220, 2006.

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