Enabling Automated Integration Testing of Smart Farming Applications via Digital Twin Prototypes | Arena Library | Arena