Diss Berger Automating Acceptance Tests for Sensor and Actuator Based Systems on the Example of Autonomous Vehicles