Five and Cognata Combine Forces to Introduce a Comprehensive Verification Approach for AV Systems