Precision spraying: from map to sprayer control using model-checking. JAI. 2017;8(3). doi:10.17700/jai.2017.8.3.392