Saddem, Rim, Olivier Naud, Paul Cazenave, Karen Godary Dejean, and Didier Crestani. “Precision Spraying: From Map to Sprayer Control Using Model-Checking”. Journal of Agricultural Informatics 8, no. 3 (November 21, 2017). Accessed January 21, 2025. https://journal.magisz.org/index.php/jai/article/view/392.