J. Lunze, Diagnosis of quantized systems based on a timed discrete-event model, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, vol.30, issue.3, pp.322-335, 2000.
DOI : 10.1109/3468.844356

J. Dambacher, H. Li, and P. Rossignol, RELEVANCE OF COMMUNITY STRUCTURE IN ASSESSING INDETERMINACY OF ECOLOGICAL PREDICTIONS, Ecology, vol.83, issue.5, pp.1372-1385, 2002.
DOI : 10.2307/1940449

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

B. Kuipers, Qualitative reasoning: modeling and simulation with incomplete knowledge, 1994.

L. Travé-massuyès, L. Ironi, and P. Dague, Mathematical foundations of qualitative reasoning, AI Magazine, Special Issue on Qualitative Reasoning, vol.24, issue.4, pp.91-106, 2003.

C. Largouët and M. Cordier, Improving the landcover classification using domain knowledge, pp.35-43, 2001.

M. Cordier and C. Largouët, Using model-checking techniques for diagnosing discrete-event systems, Proceedings of the Twelfth International Workshop on Principles of diagnosis (DX'01), pp.39-46, 2001.

G. Batt, D. Ropers, H. De-jong, J. Geiselmann, R. Mateescu et al., Analysis and verification of qualitative models of genetic regulatory networks: A model-checking approach, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI-05), pp.370-375, 2005.

M. B. Dwyer, G. S. Avrunin, and J. C. Corbett, Patterns in property specifications for finite-state verification, Proceedings of the 21th International Conference of Software Engineering, pp.411-420, 1999.

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. D. Murray, Mathematical Biology II: Spatial Models and Biomedical Applications, ser. Interdisciplinary Applied Mathematics, 2003.

R. Alur and D. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

R. Alur, C. Courcoubetis, and D. L. Dill, Model-Checking in Dense Real-Time, Information and Computation, vol.104, issue.1, pp.2-34, 1993.
DOI : 10.1006/inco.1993.1024

E. Clarke, O. Grumberg, S. Jha, Y. Lu, and H. Veith, Progress on the State Explosion Problem in Model Checking, Lecture Notes in Computer Science, pp.176-194, 2000.
DOI : 10.1007/3-540-44577-3_12

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

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, 2011.
DOI : 10.1016/j.envsoft.2011.08.005