Provably Correct Configuration Management of Precision Feeding in Agriculture4.0. - Kanter, Gert; Vain, Juri; Srinivasan, Seshadhri; Ramaswamy, Srini (2019)