L. Zaffalon and P. Bréguet, Conception de systèmes réactifs. Visions, 2001.

J. Lunze, Process supervision by means of qualitative models, Annual Reviews in Control, vol.24, pp.41-54, 2000.
DOI : 10.1016/S1367-5788(00)90011-7

A. Paoli and S. Lafortune, Safe diagnosability for fault-tolerant supervision of discrete-event systems, Automatica, vol.41, issue.8, pp.1335-1347, 2005.
DOI : 10.1016/j.automatica.2005.03.017

R. Martin-clouaire and J. Rellier, Modélisation et simulation de la conduite d'un système de production agricole, 4 e conf. de modélisation & simulation (MOSIM'03) Toulouse (F), pp.699-704, 2003.

M. Cros, M. Duru, F. Garcia, and R. Martin-clouaire, A DSS for rotational grazing managements : simulating both the biophysical and decision making processes, Modsim) Hamilton, pp.759-764, 1999.

B. P. Zeigler, Y. Moon, D. Kim, and G. Ball, The DEVS environment for high-performance modeling and simulation, IEEE Computational Science and Engineering, vol.4, issue.3, pp.4-7, 1997.
DOI : 10.1109/99.615432

J. Filippi and P. Bisgambiglia, Jdevs : An implementation of a DEVS based formal framework for environmental modelling. Environmental Modelling and Software 19-3, pp.261-274, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00593799

I. Bakam, F. Kordon, L. Page, C. Bousquet, and F. , Formalization of a Spatialized Multiagent Model Using Coloured Petri Nets for the Study of an Hunting Management System, Lecture Notes In Computer Science, pp.123-132, 1871.
DOI : 10.1007/3-540-45484-5_10

O. Naud and J. Barbier, Analyse des processus de décision (protection des vignes, Journées Phytosanitaires Régionales, pp.10-11, 2005.

M. Clerjeau, Le problème de la décision des interventions phytosanitaires en protection intégrée de la vigne, Innovigne et Vin, pp.16-17, 2004.

D. Harel, Statecharts: a visual formalism for complex systems, Science of Computer Programming, vol.8, issue.3, pp.8-11, 1987.
DOI : 10.1016/0167-6423(87)90035-9

P. Scholz, Design of Reactive Systems and their Distributed Implementation with Statecharts, 1998.

L. Soler, Quelles interventions publiques et privées pour réduire l'utilisation de traitements phytosanitaires dans le secteur du vin ?, 2005.

R. Alur and D. L. Dill, Automata for modeling real-time systems, 17 th ICALP, pp.322-335, 1990.
DOI : 10.1007/BFb0032042

R. Alur, C. Courcoubetis, and D. L. Dill, Model-Checking in Dense Real-Time, Proc. 5th LICS, pp.414-425, 1990.
DOI : 10.1006/inco.1993.1024

C. Largouët, Aide à l'interprétation d'une séquence d'images par la modélisation du système observé. Application à la reconnaissance de l'occupation du sol, Thèse de doctorat, 2000.

S. Yovine, Kronos : A verification tool for real-time systems. (kronos user's manual release 2.2) J al of Software Tools for Technology Transfer, pp.1-1, 1997.

A. Hélias and . Ensa-m, Agrégation/abstraction de modèles pour l'analyse et l'organisation de réseaux de flux: application à la gestion des effluents d'élevage à la Réunion, 2003.

I. Ober, S. Graf, and I. Ober, Validating timed UML models by simulation and verification, International Journal on Software Tools for Technology Transfer, vol.1, issue.3, pp.8-10, 2006.
DOI : 10.1007/s10009-005-0205-x

B. Léger and O. Naud, Experimenting statecharts for multiple experts knowledge elicitation in agriculture, IFAC-MCPL, pp.27-30, 2007.

O. Naud, T. Tuitete, B. Léger, A. Hélias, F. Hernandez et al., Systèmes réactifs pour modéliser la décision en production agricole: Exemples à propos des traitements phytosanitaires, MSR'2007 -Modélisation des Systèmes Réactifs, pp.17-19, 2007.