“Precision spraying: from map to sprayer control using model-checking”, JAI, vol. 8, no. 3, Nov. 2017, doi: 10.17700/jai.2017.8.3.392.