Precision spraying: from map to sprayer control using model-checking. Journal of Agricultural Informatics, v. 8, n. 3, 21 Nov.2017.