2017. Precision spraying: from map to sprayer control using model-checking. Journal of Agricultural Informatics. 8, 3 (Nov. 2017). DOI:https://doi.org/10.17700/jai.2017.8.3.392.