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