Closing the loop from requirements management to verification execution for automotive applications