A systems-engineering approach for virtual/real analysis and validation of an automated greenhouse irrigation system