G. Behrmann, R. David, and K. G. Larsen, A Tutorial on Uppaal, pp.200-236, 2004.
DOI : 10.1007/978-3-540-30080-9_7

P. Bouyer, Weighted Timed Automata: Model-Checking and Games, Electronic Notes in Theoretical Computer Science, vol.158, pp.3-17, 2006.
DOI : 10.1016/j.entcs.2006.04.002

P. Bouyer and F. Laroussinie, Model Checking Timed Automata, Modeling and Verification of Real-Time Systems, pp.111-140, 2008.
DOI : 10.1002/9780470611012.ch4

URL : https://hal.archives-ouvertes.fr/hal-01194603

B. Bredeweg and P. Salles, Qualitative models of ecological systems ??? Editorial introduction, Ecological Informatics, vol.4, issue.5-6, pp.261-262, 2009.
DOI : 10.1016/j.ecoinf.2009.10.001

M. Cordier, C. Largouët, and Y. Zhao, Model-Checking an Ecosystem Model for Decision-Aid, 2014 IEEE 26th International Conference on Tools with Artificial Intelligence, 2014.
DOI : 10.1109/ICTAI.2014.87

URL : https://hal.archives-ouvertes.fr/hal-01094742

J. M. Dambacher, H. W. Li, and P. A. Rossignol, Qualitative predictions in model ecosystems, Ecological Modelling, vol.161, issue.1-2, pp.79-93, 2003.
DOI : 10.1016/S0304-3800(02)00295-8

C. Largouët, M. Cordier, Y. Bozec, Y. Zhao, and G. Fontenelle, Use of timed automata and model-checking to explore scenarios on ecosystem models, Environmental Modelling & Software, vol.30, pp.123-138, 2012.
DOI : 10.1016/j.envsoft.2011.08.005

F. Laroussinie, N. Markey, and P. Schnoebelen, Efficient timed model checking for discrete-time systems, Theoretical Computer Science, vol.353, issue.1-3, pp.249-271, 2006.
DOI : 10.1016/j.tcs.2005.11.020

URL : https://hal.archives-ouvertes.fr/hal-01194608

A. Botequilha-leitao, J. Miller, J. Ahern, and K. Mcgarigal, Measuring Landscapes : A Planner's Handbook

L. Travé-massuyès, F. Prats, M. Sánchez, and N. Agell, Relative and absolute order-of-magnitude models unified, Annals of Mathematics and Artificial Intelligence, vol.24, issue.4, pp.3-4323, 2005.
DOI : 10.1007/s10472-005-9002-1

S. Wang and D. Liu, Knowledge representation and reasoning for qualitative spatial change. Knowledge-Based Systems, pp.161-171, 2012.

Y. Zhao, Modélisation qualitative des agro-écosystèmes et aide à leur gestion par utilisation d'outils de model-checking. phdthesis, 2014.

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, vol.16, issue.3, pp.85-111, 2011.
DOI : 10.3166/isi.16.3.85-111

. Patch and . Shape, Glob 0, 1099.

. Patch and . Shape, Cult 0, p.423