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