Saddem, Rim, Olivier Naud, Paul Cazenave, Karen Godary Dejean, and Didier Crestani. 2017. “Precision Spraying: From Map to Sprayer Control Using Model-Checking”. Journal of Agricultural Informatics 8 (3). https://doi.org/10.17700/jai.2017.8.3.392.