R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, pp.90010-90018, 1994.

M. Bastianelli, V. De-rudnicki, S. Codis, and O. Naud, Two vegetation indicators from 2D ground Lidar scanner compared for predicting spraying deposits on grapevine. Communication accepted for EFITA WCCA, 2006.
URL : https://hal.archives-ouvertes.fr/hal-01735683

G. Behrmann, K. G. Larsen, and J. I. Rasmussen, Optimal Scheduling Using Priced Timed Automata, ACM SIGMETRICS Performance Evaluation Review, vol.32, pp.34-40, 2005.

P. Berk, M. Hocevar, D. Stajnko, and A. Belsak, Development of alternative plant protection product application techniques in orchards, based on measurement sensing systems: A review, Computers and Electronics in Agriculture, vol.124, pp.273-288, 2016.

E. Gil, A. Escolà, J. R. Rosell, S. Planas, and L. Val, Variable rate application of plant protection products in vineyard using ultrasonic sensors, Crop Protection, vol.26, pp.1287-1297, 2007.

A. Hall, J. Louis, and D. Lamb, Characterising and mapping vineyard canopy using high-spatial-resolution aerial multispectral images, Computers & Geosciences, vol.29, issue.03, pp.82-89, 2003.

R. Saddem, O. Naud, P. Cazenave, K. G. Dejean, and D. Crestani, Precision spraying: from map to sprayer control using model-checking, Journal of Agricultural Informatics, vol.8, issue.3, pp.1-10, 2017.
URL : https://hal.archives-ouvertes.fr/lirmm-01960598

A. Hélias, F. Guerrin, and J. Steyer, Using timed automata and model-checking to simulate material flow in agricultural production systems-Application to animal waste management, Computers and Electronics in Agriculture, vol.63, pp.183-192, 2008.

C. Largouët, M. Cordier, Y. Bozec, Y. Zhao, and G. Fontenelle, Use of timed automata and modelchecking to explore scenarios on ecosystem models. Environmental Modelling & Software, vol.30, pp.123-138, 2012.

K. G. Larsen, P. Pettersson, and W. Yi, Uppaal in a nutshell, Int. Jal on Software Tools for Technology Transfer (STTT), vol.1, pp.134-152, 1997.

O. Naud, A. Verges, O. Hebrard, S. Codis, J. P. Douzals et al., Comparative assessment of agroenvironmental performance of vineyard sprayers using a physical full scale model of a vineyard row, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01064815

N. Pai, M. Salyani, and R. D. Sweeb, Regulating airflow of orchard airblast sprayer based on tree foliage density, Transactions of the ASABE, vol.52, pp.1423-1428, 2009.

J. R. Rosell, J. Llorens, R. Sanz, J. Arnó, M. Ribes-dasi et al., Obtaining the three-dimensional structure of tree orchards from remote 2D terrestrial LIDAR scanning, Agricultural and Forest Meteorology, vol.149, pp.1505-1515, 2009.

J. Scopélitis, S. Andréfouët, and C. Largouët, Modelling coral reef habitat trajectories: Evaluation of an integrated timed automata and remote sensing approach, Ecological Modelling, vol.205, pp.59-80, 2007.