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

E. Asarin, O. Maler, A. Pnueli, and J. , Sifakis Controller Synthesis For Timed Automata, 1998.

J. M. Attonaty and M. H. , Chatelin and F. Garcia Interactive simulation modeling in farm decision making Computers and Electronics in Agriculture, pp.2-3, 1999.

F. Cassez, A. David, E. Fleury, and K. , Larsen and D. Lime Efficient on-the-fly algorithms for the analysis of timed games, Proceedings of CONCUR 05, pp.66-88, 2005.

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, Proceedings of 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 Information and Computation, pp.193-244, 1994.

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.

P. Monteiro, D. Ropers, R. Mateescu, A. Freitas, H. De et al., Temporal logic patterns for querying dynamic models of cellular interaction networks ECCB, pp.227-233, 2008.

J. Rickel and B. W. , 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

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

D. Tulllos, M. Neumann, and A. , Qualitative Model for Characterizing Effects of Anthropogenic Activities on Benthic Communities Ecological Modeling, pp.209-220, 2006.

Y. Zhao, C. Largouët, and M. , Cordier EcoMata, un logiciel d'aide à la décision pour améliorer la gestion des écosystèmes Ingénierie des Systèmes d'Information, pp.85-111, 2011.

A. Zitek, S. Schmutz, S. Preis, P. Salles, B. Bredeweg et al., Evaluating the potential of qualitative reasoning models to contribute to sustainable catchment management Ecological Informatics, pp.5-6, 2009.