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

R. Alur, S. La-torre, and G. J. Pappas, Optimal paths in weighted timed automata, International Workshop on Hybrid Systems: Computation and Control, pp.49-62, 2001.

G. Behrmann, A. Fehnker, T. Hune, K. Larsen, P. Pettersson et al., , 2001.

, Minimum-cost reachability for priced timed automata, International Workshop on Hybrid Systems: Computation and Control, vol.1, pp.147-161

G. Behrmann, A. Fehnker, T. Hune, K. G. Larsen, P. Petterson et al., Guiding and cost-optimality in uppaal, AAAI-Spring Symposium on Model-based Validation of Intelligence, pp.66-74, 2001.

G. Behrmann, K. G. Larsen, and J. I. Rasmussen, Priced timed automata: Algorithms and applications, FMCO, vol.3657, pp.162-182, 2004.

J. Bengtsson and W. Yi, Timed Automata: Semantics, Algorithms and Tools, pp.87-124, 2004.

M. Bisgaard, D. Gerhardt, H. Hermanns, J. Kr?ál, G. Nies et al., Battery-aware scheduling in low orbit: the gomx-3 case, FM 2016: Formal Methods: 21st International Symposium, vol.21, pp.559-576, 2016.

N. Briot, C. Bessiere, B. Tisseyre, and P. Vismara, Integration of operational constraints to optimize differential harvest in viticulture, Proc. 10th, 2015.
URL : https://hal.archives-ouvertes.fr/lirmm-01275568

, European Conference on Precision Agriculture (ECPA, pp.487-494, 2015.

N. Briot, C. Bessiere, and P. Vismara, A constraint-based approach to the differential harvest problem, Proc. 21st International Conference on Principles and Practice of Constraint Programming, vol.9255, pp.541-556, 2015.
URL : https://hal.archives-ouvertes.fr/lirmm-01275591

N. Briot, C. Bessiere, and P. Vismara, Programmation par contraintes pour la vendange sélective, Actes des Onzimes Journées Francophones de Programmation par Contraintes (JFPC 2015, pp.51-56, 2015.

R. Dechter, Constraint processing, 2003.

U. Fahrenberg, K. G. Larsen, and A. Legay, , 2013.

, Model-based verification, optimization, synthesis and performance evaluation of real-time systems, In Unifying Theories of Programming and Formal Engineering Methods, pp.67-108

P. Kilby and P. Shaw, Chapter 23-vehicle routing, Handbook of Constraint Programming, vol.2, pp.801-836, 2006.

C. Largouët, M. O. Cordier, Y. M. Bozec, Y. Zhao, F. et al., Use of timed automata and model-checking to explore scenarios on ecosystem models, Environmental Modelling & Software, vol.30, pp.123-138, 2012.

A. Mcbratney, B. Whelan, T. Ancev, and J. Bouma, Future directions of precision agriculture. Precision agriculture, vol.6, pp.7-23, 2005.

R. Saddem, O. Naud, P. Cazenave, K. Godary-dejean, C. et al., 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

I. Wodes, , 2018.