Saddem, R., 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, no. 3, Nov. 2017, doi:10.17700/jai.2017.8.3.392.