Case study of model-based validation & verification of an agricultural crop engaging control system