Saddem, R., Naud, O., Cazenave, P., Dejean, K. G. and Crestani, D. (2017) “Precision spraying: from map to sprayer control using model-checking”, Journal of Agricultural Informatics, 8(3). doi: 10.17700/jai.2017.8.3.392.