Benefits of Behavior Driven Development in Scenario-based Verification of Automated Driving | IEEE Conference Publication | IEEE Xplore